Computer science
Results 1273 - 1296 of 3573
Computer science
Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 423
- Condition
- New
- SKU
- V9780792379683
- ISBN
- 9780792379683
Hardback
Condition: New
€ 248.72
€ 248.72
Hardback. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9780412797705
- ISBN
- 9780412797705
Hardback
Condition: New
€ 246.16
€ 246.16
Formal Methods for Open Object-Based Distributed Systems
. Ed(S): Jacobs, Bart (University Of Nijmegen...
Hardback. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 290
- Condition
- New
- SKU
- V9780792376835
- ISBN
- 9780792376835
Hardback
Condition: New
€ 124.81
€ 124.81
Paperback. Editor(s): Sankaranarayanan, Sriram; Vicario, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 90 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319229744
- ISBN
- 9783319229744
Paperback
Condition: New
€ 64.15
€ 64.15
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda; Pandey, Sheetanshu L...
Hardback. Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792383758
- ISBN
- 9780792383758
Hardback
Condition: New
€ 126.68
€ 126.68
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 67.44
€ 67.44
Formale Modellierung Von Authentifizierungs- Und Autorisierungsinfrast...
W Lfl, Thomas; Wolfl, Thomas
Paperback / so. Num Pages: 139 pages, black & white tables, bibliography. BIC Classification: UTN; UY. Category: (G) General (US: Trade). Weight in Grams: 233.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Deutscher Universitatsverlag United States
- Number of pages
- 139
- Condition
- New
- SKU
- V9783835004986
- ISBN
- 9783835004986
Paperback
Condition: New
€ 53.52
€ 53.52
Paperback. Explains how to design forms for the web. This work helps readers learn how to define requirements, how to write questions that users will understand and want to answer, and how to deal with instructions, progress indicators and errors. It includes examples - from nitty-gritty details (mandatory fields) to visual designs (creating good grids). Series: Interactive Technologies. Num Pages: 288 pages, Approx. 230 illustrations (250 in full color). BIC Classification: UGB; UYZG. Category: (P) Professional & Vocational. Dimension: 233 x 191 x 13. Weight in Grams: 480.
- Publisher
- Elsevier Science & Technology United States
- Number of pages
- 288
- Format
- Paperback
- Publication date
- 2008
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781558607101
- ISBN
- 9781558607101
Paperback
Condition: New
€ 67.67
€ 67.67
Paperback. A complete entry level mathematics book based on the phenomenally successful approach of the bestselling Engineering Mathematics by the same authors. This book is designed to help students embarking on a wide range of higer education courses to improve their mathematics to the required standard. Num Pages: 752 pages, 2 graphs, 56 figures. BIC Classification: KJQ; PB; UYAM. Category: (UA) A / AS level; (UU) Undergraduate. Dimension: 246 x 191 x 41. Weight in Grams: 1456.
- Publisher
- Bloomsbury Publishing PLC
- Number of pages
- 752
- Format
- Paperback
- Publication date
- 2009
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9780230579071
- ISBN
- 9780230579071
Paperback
Condition: New
€ 71.19€ 65.05
€ 71.19
€ 65.05
Paperback. Editor(s): Dal Lago, Ugo; Pena, Ricardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 34 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319124650
- ISBN
- 9783319124650
Paperback
Condition: New
€ 52.22
€ 52.22
Paperback. The 1990 Grainger lectures delivered at the University of Illinois were devoted to a critical re-examination of the foundations of adaptive control. In this text, the lectures are expanded by recent developments and solutions to some long-standing open problems. Editor(s): Kokotivic, Petar V. Series: Lecture Notes in Control and Information Sciences. Num Pages: 540 pages, 4 black & white illustrations, 3 black & white tables, biography. BIC Classification: TJFM; UYQN; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 28. Weight in Grams: 926.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783540540205
- ISBN
- 9783540540205
Paperback
Condition: New
€ 125.10
€ 125.10
Paperback. A rigorous treatment of Encryption, Signatures, and General Cryptographic Protocols, emphasizing fundamental concepts. Num Pages: 452 pages, 13 line figures 90 exercises. BIC Classification: URY; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 179 x 26. Weight in Grams: 850. 452 pages, 13 line figures 90 exercises. A rigorous treatment of Encryption, Signatures, and General Cryptographic Protocols, emphasizing fundamental concepts. Cateogry: (P) Professional & Vocational. BIC Classification: URY; UYA. Dimension: 254 x 179 x 26. Weight: 782.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Cambridge University Press
- Edition
- 1st Edition
- Number of pages
- 452
- Condition
- New
- SKU
- V9780521119917
- ISBN
- 9780521119917
Paperback
Condition: New
€ 72.46
€ 72.46
Hardcover. Distributed Artificial Intelligence (DAI) is a dynamic area of research and this book is a comprehensive, integrated exposition of the discipline presenting influential contributions from leaders in the field. Editor(s): O'Hare, G. M. P.; Jennings, N.R. Series: Sixth Generation Computer Technologies S. Num Pages: 592 pages, Ill. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 238 x 167 x 38. Weight in Grams: 1004.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 592
- Condition
- New
- SKU
- V9780471006756
- ISBN
- 9780471006756
Hardback
Condition: New
€ 260.46
€ 260.46
Hardcover. This book lays the foundation for the widespread use of geometric algebra as a new, up-and-coming field of geometrically intuitive and performant computing technology with a wide range of potential engineering applications in academia and industry. Series: Geometry and Computing. Num Pages: 220 pages, biography. BIC Classification: PBM; TBJ; UYQV. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 18. Weight in Grams: 480.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2013, Corr. 2nd printing 2013
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642317934
- ISBN
- 9783642317934
Hardback
Condition: New
€ 97.53
€ 97.53
Hardback. Computer systems that analyze images are critical to a variety of applications. This book examines digital geometry and topology, edge detection and segmentation, multi-resolution and variable resolution representations for images and maps, and parallel algorithms and systems for image analysis. Editor(s): Davis, Larry S. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 492 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 28. Weight in Grams: 890.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 492
- Condition
- New
- SKU
- V9780792374572
- ISBN
- 9780792374572
Hardback
Condition: New
€ 197.04
€ 197.04
Foundations of Information Technology in the Era of Network and Mobile...
. Ed(S): Baeza-Yates, Ricardo; Montanari, Ugo...
Hardback. Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002. Editor(s): Baeza-Yates, Ricardo; Montanari, Ugo; Santoro, Nicola. Series: IFIP Advances in Information and Communication Technology. Num Pages: 628 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 628
- Condition
- New
- SKU
- V9781402071812
- ISBN
- 9781402071812
Hardback
Condition: New
€ 189.24
€ 189.24
Paperback. Constitutes the refereed proceedings of the 19th International Symposium on Methodologies for Intelligent Systems, ISMIS 2011, held in Warsaw, Poland, in June 2011. This book features the papers that are organized in topical sections on rough sets, social networks, multi-agent systems, and contest on music information retrieval. Editor(s): Kryszkiewicz, Marzena; Rybinski, Henryk; Skowron, Andrzej; Ras, Zbigniew W. Series: Lecture Notes in Computer Science. Num Pages: 746 pages, 117 black & white illustrations, 100 colour illustrations, biography. BIC Classification: UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1134.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 746
- Condition
- New
- SKU
- V9783642219153
- ISBN
- 9783642219153
Paperback
Condition: New
€ 132.03
€ 132.03
Hardback. Documents the progress of basic research in knowledge acquisition sponsored by the Office of Naval Research. This title includes summaries of work by cognitive scientists who do computational modeling of human learning. It also includes work in analogical reasoning; induction and discovery; explanation-based learning; and, more. Editor(s): Chipman, Susan F.; Meyrowitz, Alan L. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 339 pages, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1490.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 339
- Condition
- New
- SKU
- V9780792392774
- ISBN
- 9780792392774
Hardback
Condition: New
€ 193.97
€ 193.97
Paperback.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 370
- Condition
- New
- SKU
- V9781590598054
- ISBN
- 9781590598054
Paperback
Condition: New
€ 42.99€ 36.94
€ 42.99
€ 36.94
Hardback. Represents a comprehensive survey of the field of rational agency. This work covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency, and describes a number of approaches to programming rational agents. Editor(s): Wooldridge, Mike; Rao, Anand. Series: Applied Logic Series. Num Pages: 302 pages, biography. BIC Classification: HPL; UYQE. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 759.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 302
- Condition
- New
- SKU
- V9780792356011
- ISBN
- 9780792356011
Hardback
Condition: New
€ 193.58
€ 193.58
Hardcover. This book reviews the basics of rule learning as applied to classical machine learning and modern data mining. It connects attribute-value learning with inductive logic programming, and offers complete coverage of most important elements of rule learning. Series: Cognitive Technologies. Num Pages: 334 pages, biography. BIC Classification: UMB; UNF; UYAM; UYQM; UYQP. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 24. Weight in Grams: 666.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 345
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783540751960
- ISBN
- 9783540751960
Hardback
Condition: New
€ 98.13
€ 98.13
Hardcover. An introduction to statistical natural language processing (NLP). The text contains the theory and algorithms needed for building NLP tools. Topics covered include: mathematical and linguistic foundations; statistical methods; collocation finding; word sense disambiguation; and probalistic parsing. Num Pages: 720 pages, illustrations. BIC Classification: CF; JMAQ; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 210 x 33. Weight in Grams: 1362.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 720
- Format
- Hardback
- Publication date
- 1999
- Edition
- fourth prnting 2001
- Condition
- New
- SKU
- V9780262133609
- ISBN
- 9780262133609
Hardback
Condition: New
€ 157.74
€ 157.74
Hardback. "Fourier Vision" provides a new treatment of figure-ground segmentation in scenes comprising transparent, translucent, or opaque objects. The book also addresses the use of Fourier techniques to estimate stereo disparity and optical flow. Numerous examples are provided throughout. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 195 pages, biography. BIC Classification: UYQV; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 1040.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 195
- Condition
- New
- SKU
- V9780792374138
- ISBN
- 9780792374138
Hardback
Condition: New
€ 191.10
€ 191.10
Hardback. Num Pages: 257 pages, 44 black & white illustrations, 85 colour illustrations, biography. BIC Classification: TJF; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 246 x 165 x 17. Weight in Grams: 526.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 2nd ed. 2015
- Condition
- New
- SKU
- V9783319179230
- ISBN
- 9783319179230
Hardback
Condition: New
€ 189.36
€ 189.36