.png){kind=logo}
Computer programming / software development
Results 4993 - 5016 of 8429
Computer programming / software development
Paperback. Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 305 pages, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540857778
- ISBN
- 9783540857778
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008. This book addresses various important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; and, quantum computing. Series: Lecture Notes in Computer Science. Num Pages: 557 pages, biography. BIC Classification: PBCD; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 557
- Condition
- New
- SKU
- V9783540857792
- ISBN
- 9783540857792
Paperback
Condition: New
€ 69.59
€ 69.59
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held in Prague, Czech Republic, in September 2008. This title includes papers that are organized in topical sections on evolution of analog circuits, evolution of digital circuits, hardware-software codesign and platforms for adaptive systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 459 pages, biography. BIC Classification: PSA; UGC; UGK; UMB; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783540858560
- ISBN
- 9783540858560
Paperback
Condition: New
€ 68.63
€ 68.63
paperback. Constitutes the refereed proceedings of the 5th International Workshop on Visualization for Cyber Security held on September 15, 2008, in Cambridge, Massachusetts, USA, in conjunction with the 11th International Symposium on Recent Advances in Intrusion Detection (RAID). This book presents 18 reviewed and selected papers from 27 submissions. Series: Lecture Notes in Computer Science. Num Pages: 205 pages, biography. BIC Classification: PBV; UGN; UKN; UMB; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2008th Edition
- Number of pages
- 205
- Condition
- New
- SKU
- V9783540859314
- ISBN
- 9783540859314
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. This title addresses various aspects in graph drawing including hypergraphs and termgraph rewriting, applications of graph transformation, compositional systems, and validation and verification. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540874041
- ISBN
- 9783540874041
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, on September 24-25, 2008. This title contains topics that cover software performance engineering, stochastic process algebra and SANs, and performance query specification and measurement. Series: Lecture Notes in Computer Science. Num Pages: 282 pages, biography. BIC Classification: UB; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 282
- Condition
- New
- SKU
- V9783540874119
- ISBN
- 9783540874119
Paperback
Condition: New
€ 66.95
€ 66.95
paperback. Covers the proceedings of the 15th European PVM/MPI Users' Group Meeting held in Dublin, Ireland, in September 2008. This book contains topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, and synchronisation issues. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 359 pages, biography. BIC Classification: UMB; UMX; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2008th Edition
- Number of pages
- 359
- Condition
- New
- SKU
- V9783540874744
- ISBN
- 9783540874744
Paperback
Condition: New
€ 67.59
€ 67.59
Paperback. Covers the proceedings of the 6th International Workshop on Ant Colony Optimization and Swarm Intelligence, ANTS 2008, held in Brussels, Belgium, in September 2008. This book covers theoretical and foundational aspects of computational intelligence and related disciplines with focus on swarm intelligence. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 431 pages, biography. BIC Classification: UKN; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783540875260
- ISBN
- 9783540875260
Paperback
Condition: New
€ 68.32
€ 68.32
paperback. Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540876021
- ISBN
- 9783540876021
Paperback
Condition: New
€ 68.00
€ 68.00
Paperback. Constitutes the post-conference proceedings of the 7th International Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. This book organizes the papers in topical sections on electronic institutions; interaction in agent societies; and engineering social intelligence in multi-agent systems. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 368 pages, biography. BIC Classification: UGK; UKN; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540876533
- ISBN
- 9783540876533
Paperback
Condition: New
€ 67.67
€ 67.67
Paperback. This book proposes an approach that will not only aid in the analysis of cognitive systems, but will also serve as an inspiration and guideline for the progressively more advanced and competent design of large, but modular, artificial cognitive systems. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 304 pages, biography. BIC Classification: UGK; UMB; UYA; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540877011
- ISBN
- 9783540877011
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Constitutes the proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008. This book organizes the papers in topical sections on diagram aesthetics and layout, psychological and cognitive issues, applications of diagrams, and theoretical aspects. Series: Lecture Notes in Computer Science. Num Pages: 460 pages, biography. BIC Classification: UM; UYA; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540877295
- ISBN
- 9783540877295
Paperback
Condition: New
€ 68.66
€ 68.66
Paperback. Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 440 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540878025
- ISBN
- 9783540878025
Paperback
Condition: New
€ 68.43
€ 68.43
Paperback. Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, biography. BIC Classification: UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540878728
- ISBN
- 9783540878728
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the post-proceedings of the Fourth International Conference on the Quality of Software Architectures 2008, held in Medford, MA, USA, in July 2007, in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering 2007, and the ROSATEA 2007 event. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 245 pages, biography. BIC Classification: UMB; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 245
- Condition
- New
- SKU
- V9783540878780
- ISBN
- 9783540878780
Paperback
Condition: New
€ 66.95
€ 66.95
paperback. Constitutes the proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, held in Paris, France, in October 2008. This title includes the papers that illustrate the crucial role of comparative genomics in understanding genome function. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 275 pages, biography. BIC Classification: PSA; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540879886
- ISBN
- 9783540879886
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the Second International Conference on Scalable Uncertainty Management, SUM 2008, held in Naples, Italy, in October 2008. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 412 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540879923
- ISBN
- 9783540879923
Paperback
Condition: New
€ 68.17
€ 68.17
Hardback. Memetic algorithms are a success story in sophisticated evolutionary computing. Written for as wide a readership as possible, this book reflects the current state-of-the-art in the theory and practice of Memetic algorithms and is an invaluable reference. Editor(s): Goh, Chi-Keong; Ong, Yew Soon; Tan, Kay Chen. Series: Studies in Computational Intelligence. Num Pages: 404 pages, 74 black & white tables, biography. BIC Classification: TBD; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540880509
- ISBN
- 9783540880509
Hardback
Condition: New
€ 202.13
€ 202.13
Paperback. Covers post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - hosted by the Genetic and Evolutionary Computation Conference, GECCO. This book features sections on knowledge representation, and analysis of the system. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 317 pages, biography. BIC Classification: UMB; UMX; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783540881377
- ISBN
- 9783540881377
Paperback
Condition: New
€ 67.19
€ 67.19
Paperback. Constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. This book features sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 305 pages, biography. BIC Classification: UMB; UMX; UNF; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540881896
- ISBN
- 9783540881896
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008. This book presents papers that are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 247 pages, biography. BIC Classification: KJT; UGK; UMB; UMX; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 237 x 153 x 15. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783540882688
- ISBN
- 9783540882688
Paperback
Condition: New
€ 66.97
€ 66.97
paperback. Constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. This book presents 40 revised papers that are reviewed and selected from 134 submissions and deal with the various issues related to automata theory and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 514
- Condition
- New
- SKU
- V9783540882817
- ISBN
- 9783540882817
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2008, held in Lisbon, Portugal, in October 2008. This book presents the papers that are organized in topical sections on knowledge representation; planning and scheduling; constraint satisfaction and optimization; and, machine learning. Series: Lecture Notes in Computer Science. Num Pages: 477 pages, biography. BIC Classification: UGK; UMB; UYQL; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 477
- Condition
- New
- SKU
- V9783540883081
- ISBN
- 9783540883081
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 444 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783540883869
- ISBN
- 9783540883869
Paperback
Condition: New
€ 68.47
€ 68.47