Computer | Springer

Aantal gevonden boeken 22913
Forensics in Telecommunications, Information and Multimedia
9783642023118
Forensics in Telecommunications, Information and Multimedia
Second International Conference, e-Forensics 2009, Adelaide, Australia, January 19-21, 2009, Revised Selected Papers
Engels | Paperback
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
9783540548348
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 1: Conference Contributions
Engels | Paperback
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
9783540744450
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings
Engels | Paperback | 2007
Efficient Numerical Methods and Information-Processing Techniques for Modeling Hydro- and Environmental Systems
9783642063299 | Reinhard Hinkelmann
Efficient Numerical Methods and Information-Processing Techniques for Modeling Hydro- and Environmental Systems
Processing Techniques for Modeling Hydro and Environmental Systems
Engels | Paperback | 2010
System Modeling and Optimization
9783642260933
System Modeling and Optimization
23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
Engels | Paperback
Coupling of Biological and Electronic Systems
9783540436997
Coupling of Biological and Electronic Systems
Proceedings of the 2nd caesarium, Bonn, November 1-3, 2000
Engels | Hardcover
Machines, Computations, and Universality
9783540421214
Machines, Computations, and Universality
Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings
Engels | Paperback | 2001
Information and Communications Security
9783540001645 | R. Deng
Information and Communications Security
4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings
Engels | Paperback
Meta-Level Architectures and Reflection
9783540662808 | 3540662804 | Pierre Cointe
Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
Engels | Paperback | 2001
Frontiers of Assembly and Manufacturing
9783642141157
Frontiers of Assembly and Manufacturing
Selected papers from ISAM'09'
Engels | Hardcover
Foundations of Computational Intelligence Volume 3
9783642101656
Foundations of Computational Intelligence Volume 3
Global Optimization
Engels | Paperback | 2010
Computational Methods and Function Theory
9783540527688 | 3540527680
Computational Methods and Function Theory
Proceedings of a Conference held in Valparaiso, Chile, March 13-18, 1989
Engels | Paperback
Leveraging Applications of Formal Methods
9783540489283
Leveraging Applications of Formal Methods
First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Engels | Paperback
Object-Oriented Programming in Oberon-2
9783540600626 | Hanspeter Mössenböck
Object-Oriented Programming in Oberon-2
Engels | Paperback
Databases in Networked Information Systems
9783540253617 | 3540253610
Databases in Networked Information Systems
4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005, Proceedings
Engels | Paperback
Long-Term Preservation of Digital Documents
9783642070174 | Uwe M. Borghoff
Long-Term Preservation of Digital Documents
Principles and Practices
Engels | Paperback
Formal Methods for Model-Driven Engineering
9783642309816
Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Engels | Paperback
Natural Computing in Computational Finance
9783642101120
Natural Computing in Computational Finance
Volume 2
Engels | Paperback | 2010
Advances in Intelligent Data Analysis IX
9783642130618
Advances in Intelligent Data Analysis IX
9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010, Proceedings
Engels | Paperback
Visualization in Medicine and Life Sciences
9783540726296
Visualization in Medicine and Life Sciences
Engels | Hardcover