.png){kind=logo}
Computer programming / software development
Results 3913 - 3936 of 8277
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. This book features the papers addressing issues in formal methods and their applications in software engineering. Series: Lecture Notes in Computer Science. Num Pages: 804 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540474609
- ISBN
- 9783540474609
Paperback
Condition: New
€ 131.99
€ 131.99
Paperback. Presents revised texts of selected lectures given by researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. This book features lectures covering a range of topics such as programming language concepts for subtyping. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 850.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540468431
- ISBN
- 9783540468431
Paperback
Condition: New
€ 69.55
€ 69.55
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 792 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1178.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 792
- Condition
- New
- SKU
- V9783540462675
- ISBN
- 9783540462675
Paperback
Condition: New
€ 132.65
€ 132.65
Paperback. Constitutes the proceedings of the Second International Conference on Natural Computation, ICNC 2006. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1040 pages, biography. BIC Classification: PSAJ; UG; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1549.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1040
- Condition
- New
- SKU
- V9783540459071
- ISBN
- 9783540459071
Paperback
Condition: New
€ 135.15
€ 135.15
Hardback. Reviews of the first edition of this book describe it as "a standard reference for algorithmic 3-dimensional topology both for graduate students and researchers". The 2nd edition adds new results, new proofs and commentaries for the benefit of the reader. Series: Algorithms and Computation in Mathematics. Num Pages: 506 pages, 36 black & white tables, biography. BIC Classification: PBP; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 918.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2007
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540458982
- ISBN
- 9783540458982
Hardback
Condition: New
€ 119.82
€ 119.82
Paperback. Constitutes the refereed proceedings of the 25th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2006. This book contains topical sections that include systems of systems, security and survivability analysis, nuclear safety and application of standards, formal approaches, and networks dependability. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540457626
- ISBN
- 9783540457626
Paperback
Condition: New
€ 73.28
€ 73.28
Paperback. Constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. This book presents 37 revised full papers together with 4 invited contributions, addressing various aspects of logic in computer science. Editor(s): Esik, Zoltan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 639 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 892.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 639
- Condition
- New
- SKU
- V9783540454588
- ISBN
- 9783540454588
Paperback
Condition: New
€ 131.18
€ 131.18
Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Grammatical Inference, ICGI 2006. This book presents 25 revised full papers and 8 revised short papers together with 2 invited contributions. It discusses topics that range from theoretical results of learning algorithms to innovative applications of grammatical inference. Series: Lecture Notes in Computer Science. Num Pages: 371 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783540452645
- ISBN
- 9783540452645
Paperback
Condition: New
€ 71.62
€ 71.62
Hardback. Presents invasive software composition as a component-based way to construct software systems. This book deals with the JAVA language and a freely available demonstrator library called COMPOST. It is suitable for researchers, students and professional software architects alike. Num Pages: 334 pages, 9 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 242 x 162 x 24. Weight in Grams: 656.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 334
- Condition
- New
- SKU
- V9783540443858
- ISBN
- 9783540443858
Hardback
Condition: New
€ 73.76
€ 73.76
Paperback. Constituting proceedings of the First International Conference on Graph Transformations, these papers deal with graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Editor(s): Corradini, Andrea; Ehrig, Hartmut; Kreowski, Hans-Jorg; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: PBV; UMB; UNC; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540443100
- ISBN
- 9783540443100
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback. Compiled from the proceedings of the Second International Conference on Embedded Software, this volume contains 30 papers. It spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modelling and validation. Editor(s): Sangiovanni-Vincentelli, Alberto; Sifakis, Joseph. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UF; UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 22. Weight in Grams: 619.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540443070
- ISBN
- 9783540443070
Paperback
Condition: New
€ 73.04
€ 73.04
Hardback. Series: Xpert.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540442813
- ISBN
- 9783540442813
Hardback
Condition: New
€ 100.10
€ 100.10
Paperback. Compiled from the post-proceedings of the 13th Italian Workshop on Neural Nets, this book contains 21 revised full papers and three invited papers. They are organized in topical sections on architectures and algorithms, image and signal processing applications, and learning in neural networks. Editor(s): Marinaro, Maria; Tagliaferri, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, biography. BIC Classification: UMB; UYQ; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783540442653
- ISBN
- 9783540442653
Paperback
Condition: New
€ 69.55
€ 69.55
Paperback. 22-25, 2002, Proceedings Editor(s): Bradfield, Julian. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 32. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540442400
- ISBN
- 9783540442400
Paperback
Condition: New
€ 137.63
€ 137.63
Grammatical Inference - Algorithms and Applications
. Ed(S): Adriaans, Pieter; Fernau, Henning; V...
Paperback. These are the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands, in September 2002. Editor(s): Adriaans, Pieter; Fernau, Henning; Van Zaanen, M. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 318 pages, biography. BIC Classification: UMX; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540442394
- ISBN
- 9783540442394
Paperback
Condition: New
€ 70.75
€ 70.75
Paperback. Constituting the proceedings of the 6th International Symposium on Functional and Logic Programming, held in Aizu, Japan, this volume contains 15 revised full papers and three full invited papers, covering program transformation and analysis, semantics, rewriting and compilation techniques. Editor(s): Hu, Zhenjiang; Rodriquez-Artalejo, Mario. Series: Lecture Notes in Computer Science. Num Pages: 320 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783540442332
- ISBN
- 9783540442332
Paperback
Condition: New
€ 70.54
€ 70.54
Engineering and Deployment of Cooperative Information Systems
. Ed(S): Han, Yanbo; Tai, Stefan; Wikarski, D...
Paperback. Compiled from the proceedings of the First International Conference on Engineering and Employment of Cooperative Information Systems, this volume contains 44 revised full papers. The papers are organized by topic and include workflow, ontologies, semantic Web and mobile agents. Editor(s): Han, Yanbo; Tai, Stefan; Wikarski, Dietmar. Series: Lecture Notes in Computer Science. Num Pages: 584 pages, biography. BIC Classification: UM; UN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 1780.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 584
- Condition
- New
- SKU
- V9783540442226
- ISBN
- 9783540442226
Paperback
Condition: New
€ 136.50
€ 136.50
Paperback. Compiled from the proceedings of the Second International Bioinformatics, this volume contains 39 revised full papers presented together with a full invited paper. Among the topics addressed are exact and approximate algorithms for genomics, sequence analysis, gene and signal recognition. Editor(s): Guigo, Roderic; Gusfield, Dan. Series: Lecture Notes in Computer Science. Num Pages: 554 pages, biography. BIC Classification: PSAK; PSB; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 554
- Condition
- New
- SKU
- V9783540442110
- ISBN
- 9783540442110
Paperback
Condition: New
€ 136.32
€ 136.32
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Damm, Werner; Olderog, Ernst-Rudiger
Paperback. Compiled from the proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, the 25 papers are organized by topic, including synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing and more. Editor(s): Damm, Werner; Olderog, Ernst-Rudiger. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: TJF; UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540441656
- ISBN
- 9783540441656
Paperback
Condition: New
€ 73.57
€ 73.57
paperback. These are the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. Editor(s): Kirchner, Helene; Ringeissen, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 520 pages, biography. BIC Classification: PBF; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540441441
- ISBN
- 9783540441441
Paperback
Condition: New
€ 74.48
€ 74.48
Hardback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 538 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003. Corr. 2nd printing 2004
- Number of pages
- 538
- Condition
- New
- SKU
- V9783540441342
- ISBN
- 9783540441342
Hardback
Condition: New
€ 127.57
€ 127.57
Paperback. Constituting the proceedings of the eighth International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, USA, in September 2002, this volume is compiled from submissions from the doctoral programme and covers all the main issues in constraint processing. Editor(s): Van Hentenryck, Pascal. Series: Lecture Notes in Computer Science. Num Pages: 794 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 41. Weight in Grams: 1138.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 794
- Condition
- New
- SKU
- V9783540441205
- ISBN
- 9783540441205
Paperback
Condition: New
€ 132.26
€ 132.26
Paperback. Proceedings of four workshops held in conjunction with the 8th International Conference on Object-Oriented Information Systems held in France in 2002. Papers cover managing specialization/generalization hierarchies, reuse in object-oriented information systems design, Web-based systems and more. Editor(s): Bruel, Jean-Michel; Bellahsene, Zohra. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540440888
- ISBN
- 9783540440888
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback. These are the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002 held in Montpellier, France, in September 2002. Editor(s): Bellahsene, Zohra; Patel, D.; Rolland, C. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540440871
- ISBN
- 9783540440871
Paperback
Condition: New
€ 136.32
€ 136.32