Reihe Lecture Notes in Computer ScienceSpringer Berlin × Verification, Model Checking, and Abstract Interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, ProceedingsSpringer BerlinSoftcover201553,49 € Algorithms for Sensor Systems10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed RoboticSpringer BerlineBook201542,79 € Transactions on Large-Scale Data- and Knowledge-Centered Systems XVISelected Papers from ACOMP 2013Springer BerlinSoftcover201553,49 € SOFSEM 2015: Theory and Practice of Computer Science41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech RepubSpringer BerlinSoftcover201553,49 € Transactions on Large-Scale Data- and Knowledge-Centered Systems XVSelected Papers from ADBIS 2013 Satellite EventsSpringer BerlinSoftcover201453,49 € Transactions on Computational Science XXIVSpecial Issue on Reversible ComputingSpringer BerlinSoftcover201453,49 € Trustworthy Global Computing9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected PapersSpringer BerlineBook201442,79 € Transactions on Large-Scale Data- and Knowledge-Centered Systems XVISelected Papers from ACOMP 2013Springer BerlineBook201453,49 € Transactions on Petri Nets and Other Models of Concurrency IX Springer BerlinSoftcover201453,49 € AI Approaches to the Complexity of Legal SystemsAICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Springer BerlinSoftcover201453,49 €über 17.126 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 ...