Ergebnisse filtern
-
- 3104
- 335
- 3
- 1
-
- 117
- 486
- 2024
- 816
-
- 3206
- 234
- 7
- 1
-
- 3416
- 27
-
- 3443
- 179
-
Braspenning / Weijters / Thuijsman Artificial Neural Networks
An Introduction to ANN Theory and Practice1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59488-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harms / Gentzsch High-Performance Computing and Networking
International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57980-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Woeginger / Burkard Algorithms - ESA '97
5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63397-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Campbell Learn RStudio IDE
Quick, Effective, and Productive Data Science1. Auflage 2019Verlag: ApressISBN: 978-1-4842-4510-1Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Staples / Moffat / Eades Algorithms and Computations
6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings.1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60573-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kok Beginning Unity Editor Scripting
Create and Publish Your Game Tools1. Auflage 2021Verlag: ApressISBN: 978-1-4842-7166-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Orgun / Thornton AI 2007: Advances in Artificial Intelligence
20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76926-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlieb / Raidl Evolutionary Computation in Combinatorial Optimization
6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33178-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rosu / Meseguer Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79979-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scheideler Universal Routing Strategies for Interconnection Networks
1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64505-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jazayeri / Musser / Loos Generic Programming
International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41090-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zuckarelli Learn coding with Python and JavaScript
A practical introduction for beginners2024Verlag: SpringerISBN: 978-3-658-42911-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ito / Queinnec / Halstead Parallel Symbolic Languages and Systems
International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61143-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asada / Tani / Hallam From Animals to Animats 10
10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69133-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desmedt / Li / Wang Cryptology and Network Security
4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30849-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Prasad / Arvind FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77049-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57880-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mayr / Tinhofer / Schmidt Graph-Theoretic Concepts in Computer Science
20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59071-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Darte / Perrin The Data Parallel Programming Model
Foundations, HPF Realization, and Scientific Applications1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61736-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chouinard / Gulliver / Fortier Information Theory and Applications II
4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61748-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salomaa / Rozenberg Lindenmayer Systems
Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55320-5Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Keller / Fasel Graph Reduction
Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 19861987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18420-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gianni Symbolic and Algebraic Computation
International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51084-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taitslin / Meyer Logic at Botik '89
Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51237-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing
Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55422-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ibarra / Yen Implementation and Application of Automata
11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37213-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Troubitsyna / Jones Methods, Models and Tools for Fault Tolerance
2009Verlag: SpringerISBN: 978-3-642-00866-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ng / Leong / Kan Information Retrieval Technology
Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45780-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gilmore A Programmer's Introduction to PHP 4.0
Softcover Nachdruck of the Original 1. Auflage 2001Verlag: ApressISBN: 978-1-893115-85-9Medium: Buch29,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rawal / Manogaran / Poongodi Implementing and Leveraging Blockchain Programming
1. Auflage 2022Verlag: SpringerISBN: 978-981-16-3411-6Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Noriega / Vázquez-Salceda / Boella Coordination, Organizations, Institutions, and Norms in Agent Systems II
AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74457-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Transactions on Computational Science IV
Special Issue on Security in Computing2009Verlag: SpringerISBN: 978-3-642-01003-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kock Wiil Metainformatics
International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27328-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aßmann Invasive Software Composition
Softcover Nachdruck of hardcover 1. Auflage 2003Verlag: SpringerISBN: 978-3-642-07937-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jiao / Wang / Gao Advances in Natural Computation
Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part I1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45901-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baatar / Roska / Porod Cellular Nanoscale Sensory Wave Computing
2010Verlag: Springer USISBN: 978-1-4899-8453-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Hofstedt Einführung in die Constraint-Programmierung
Grundlagen, Methoden, Sprachen, Anwendungen2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23184-4Medium: Buch32,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ricketts Software-Projektmanagement kompakt
Für Studium und Praxis1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63748-6Medium: Buch16,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bergel Agile Visualization with Pharo
Crafting Interactive Visual Support Using Roassal1. Auflage 2021Verlag: ApressISBN: 978-1-4842-7160-5Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comon Rewriting Techniques and Applications
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fridman / Kovalenko / Marov Astrophysical Disks
Collective and Stochastic Phenomena2006Verlag: Springer NetherlandsISBN: 978-1-4020-4347-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mihailescu / Nita Haskell Quick Syntax Reference
A Pocket Guide to the Language, APIs, and Library1. Auflage 2019Verlag: ApressISBN: 978-1-4842-4506-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Li / Tao Random-Like Bi-level Decision Making
1. Auflage 2016Verlag: SpringerISBN: 978-981-10-1767-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bampis / Jansen / Kenyon Efficient Approximation and Online Algorithms
Recent Progress on Classical Combinatorial Optimization Problems and New Applications1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32212-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Odijk / Syre / Rem PARLE '89 - Parallel Architectures and Languages Europe
Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51285-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lauer Functional Programming, Concurrency, Simulation and Automated Reasoning
International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56883-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pelillo / Hancock Energy Minimization Methods in Computer Vision and Pattern Recognition
Second International Workshop, EMMCVPR'99, York, UK, July 26-29, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66294-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rothwell Beginning Perl Programming
From Novice to Professional1. Auflage 2019Verlag: ApressISBN: 978-1-4842-5054-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lesperance / Jennings Intelligent Agents VI. Agent Theories, Architectures, and Languages
6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67200-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yeung / Liu / Wang Advances in Machine Learning and Cybernetics
4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33584-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Birtwistle / Moller Logics for Concurrency
Structure versus Automata1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60915-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46253-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Richter / Kleine Büning CSL '89
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52753-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luna Introduction to 3D Game Programming with DirectX 12
1. Auflage 2016Verlag: Mercury Learning and InformationISBN: 978-1-942270-06-5Medium: Buch64,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Crutcher / Tiegs / Singh Essential Computer Science
A Programmer's Guide to Foundational Concepts1. Auflage 2021Verlag: ApressISBN: 978-1-4842-7106-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Zhang Computational Thinking: A Perspective on Computer Science
1. Auflage 2021Verlag: SpringerISBN: 978-981-16-3847-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yi Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37756-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Merkle / Blum Swarm Intelligence
Introduction and Applications2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74088-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beecher Bad Programming Practices 101
Become a Better Coder by Learning How (Not) to Program1. Auflage 2018Verlag: ApressISBN: 978-1-4842-3410-5Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sewak Deep Reinforcement Learning
Frontiers of Artificial Intelligence1. Auflage 2019Verlag: Springer Nature SingaporeISBN: 978-981-13-8287-1Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clack / Davie / Hammond Implementation of Functional Languages
9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64849-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
MAMMUT
Eine verteilte Speicherverwaltung für symbolische Manipulation1997Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02198-8Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reinders / Voss Today's TBB
C++ Parallel Programming with Threading Building Blocks2. Auflage 2025Verlag: ApressISBN: 979-8-8688-1269-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doppioslash Physically Based Shader Development for Unity 2017
Develop Custom Lighting Systems1. Auflage 2017Verlag: ApressISBN: 978-1-4842-3308-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hirsch / Slissenko / Razborov Computer Science - Theory and Applications
Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79708-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bradley / Manna The Calculus of Computation
Decision Procedures with Applications to Verification1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74112-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broy Deductive Program Design
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60947-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schneider / Göttler Graph-Theoretic Concepts in Computer Science
International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19422-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deransart / Ed-Dbali / Cervoni Prolog: The Standard
Reference Manual1. Auflage 1996Verlag: SpringerISBN: 978-3-540-59304-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Uustalu / Vene Advanced Functional Programming
5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28540-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tscheligi / Grechenig Human Computer Interaction
Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57312-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pai / Abraham C++ Reactive Programming
Design concurrent and asynchronous applications using the RxCpp library and Modern C++171. Auflage 2018Verlag: De GruyterISBN: 978-1-78862-424-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)34,49 € (inkl. MwSt.)
sofort verfügbar -
Mangrulkar / Vijay Chavan Blockchain Essentials
Core Concepts and Implementations1. Auflage 2024Verlag: ApressISBN: 978-1-4842-9974-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nordio / Meyer Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28405-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Veni Madhavan / Nori Foundations of Software Technology and Theoretical Computer Science
Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53487-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cointe ECOOP '96 - Object-Oriented Programming
10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61439-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Armando / Dowek / Baumgartner Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71069-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Teillaud Towards Dynamic Randomized Algorithms in Computational Geometry
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57503-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05880-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schäfer / Engels Programmentwicklungsumgebungen
Konzepte und Realisierung1989Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02487-3Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dwyer / Lopes Fundamental Approaches to Software Engineering
10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71288-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feitelson / Schwiegelshohn / Rudolph Job Scheduling Strategies for Parallel Processing
9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20405-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davis Reactive Streams in Java
Concurrency with RxJava, Reactor, and Akka Streams1. Auflage 2018Verlag: ApressISBN: 978-1-4842-4175-2Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hu / Pan / Lin Transactions on Computational Systems Biology V
Edited by Tony Hu, Yi Pan and Tsau Young Lin1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36048-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lupanov / Kasim-Zade / Chaskin Stochastic Algorithms: Foundations and Applications
Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 20051. Auflage 2005Verlag: SpringerISBN: 978-3-540-29498-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kozen Theory of Computation
1. Auflage. 2006Verlag: SpringerISBN: 978-1-84628-297-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Markatos / Leitold Communications and Multimedia Security
10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-47820-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Kano / Tan Discrete and Computational Geometry
Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 20041. Auflage 2005Verlag: SpringerISBN: 978-3-540-30467-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rash / Rouff / Hinchey Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42716-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rao Extensions of the UNITY Methodology
Compositionality, Fairness and Probability in Parallelism1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59173-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rothwell Pro Perl Programming
From Professional to Advanced1. Auflage 2020Verlag: ApressISBN: 978-1-4842-5604-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007
11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75866-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meulen / Koornneef Computer Safety, Reliability, and Security
19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41186-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schellekens A Modular Calculus for the Average Cost of Data Structuring
2008Verlag: Springer USISBN: 978-0-387-73383-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cosnard / Peters / Ferreira Parallel and Distributed Computing: Theory and Practice
Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58078-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abdelzaher / Raynal / Santoro Principles of Distributed Systems
13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10876-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Bibel Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 19851986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16444-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Capello / Dongarra / Herault Recent Advances in Parallel Virtual Machine and Message Passing Interface
14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75415-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Masulli / Mitra / Pasi Applications of Fuzzy Sets Theory
7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73399-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nishizeki / Saito Graph Theory and Algorithms
17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings1981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10704-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort