Advances in Computing Sciences – serie
Visar alla böcker i serien Advances in Computing Sciences. Handla med fri frakt och snabb leverans.
4 produkter
Relational Methods in Computer Science
Av Chris Brink, Wolfram Kahl m. fl.
Häftad, 1997
569 kr
Lägg i varukorg
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, …
Advances in Computer Vision
Av Franc Solina, Walter Kropatsch m. fl.
Häftad, 1997
569 kr
Lägg i varukorg
Computer vision solutions used to be very specific and difficult to adapt to different or even unforeseen situations. The current development is calling for simple to use yet robust applications that could be employed in various situations. This trend requires the reassessment of some theoretical …
Systems: Theory and Practice
Häftad, 1998
569 kr
Lägg i varukorg
There is hardly a science that is without the notion of "system". We have systems in mathematics, formal systems in logic, systems in physics, electrical and mechanical engineering, architectural-, operating-, infonnation-, programming systems in computer science, management-and PJoduction systems …
Tool Support for System Specification, Development and Verification
Av Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
569 kr
Lägg i varukorg
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can …
