Formal Methods: Foundations and Applications
Rohit Gheyi
- Publisher
- Springer Berlin Heidelberg
- Published
- 2012
- ISBN
- 9783642332968
Computer Science, general
Books connected to this subject in the catalog.
Learn Java for Android Development
Jeff Friesen
- Publisher
- Apress
- Published
- Mar 26, 2013
- ISBN
- 9781430257240
ISSE 2012 Securing Electronic Business Processes
Unknown author
- Publisher
- Springer Vieweg
- Published
- 2012
- ISBN
- 9783658003326
Pro Website Development and Operations
Matthew Sacks
- Publisher
- Apress
- Published
- 2012
- ISBN
- 9781430239703
Parameterized and Exact Computation
Marek Cygan
- Publisher
- Springer
- Published
- Dec 12, 2014
- ISBN
- 9783319135236
Computer Vision, Imaging and Computer Graphics Theory and Applications
Ana Paula Cláudio
- Publisher
- Springer
- Published
- Feb 19, 2020
- ISBN
- 9783030415891
Advances in Artificial Life and Evolutionary Computation
Clara Pizzuti
- Publisher
- Springer International Publishing AG
- Published
- 2014
- ISBN
- 9783319127446
Foundation Version Control for Web Developers
Chris Kemper
- Publisher
- Apress
- Published
- 2012
- ISBN
- 9781430239734
Computer Vision, Imaging and Computer Graphics. Theory and Applications
José Braz
- Publisher
- Springer International Publishing AG
- Published
- 2016
- ISBN
- 9783319299709
Human Language Technology. Challenges for Computer Science and Linguistics
Zygmunt Vetulani
- Publisher
- Springer International Publishing AG
- Published
- 2018
- ISBN
- 9783319937816
Learn Java for Android Development
Jeff Friesen
- Publisher
- Apress
- Published
- Jan 04, 2011
- ISBN
- 9781430273226
Testbeds and Research Infrastructure : Development of Networks and Communities
Victor C.M. Leung
- Publisher
- Springer
- Published
- Jan 09, 2015
- ISBN
- 9783319133270
Handbook of Test Problems in Local and Global Optimization
Christodoulos A. Floudas
- Publisher
- Springer US
- Published
- 1999
- ISBN
- 9781441948120
New Directions in Logic, Language and Computation
Daniel Lassiter
- Publisher
- Springer Berlin Heidelberg
- Published
- 2012
- ISBN
- 9783642314674
Human Language Technology. Challenges for Computer Science and Linguistics
Zygmunt Vetulani
- Publisher
- Springer Berlin Heidelberg
- Published
- 2011
- ISBN
- 9783642200946
Integer programming and combinatorial optimization
Chile) Conference on Integer Programming and Combinatorial Optimization (16th 2013 Valparaíso
- Publisher
- Springer
- Published
- 2013
- ISBN
- 9783642366932
Computer Vision, Imaging and Computer Graphics : Theory and Applications
Sebastiano Battiato
- Publisher
- Springer London, Limited
- Published
- 2014
- ISBN
- 9783662449110
Computer Vision, Imaging and Computer Graphics - Theory and Applications
Sebastiano Battiato
- Publisher
- Springer London, Limited
- Published
- 2016
- ISBN
- 9783319251172
Reflections on the History of Computing
Arthur Tatnall
- Publisher
- Springer Berlin / Heidelberg
- Published
- 2014
- ISBN
- 9783642432040
Computer Analysis of Images and Patterns
Wilson, Richard
- Publisher
- Springer London, Limited
- Published
- 2013
- ISBN
- 9783642402616