![Infinity in Logic and Computation Infinity in Logic and Computation](https://bilder.buecher.de/produkte/26/26490/26490222m.jpg)
Broschiertes Buch
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
2009
26. Oktober 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12700868,978-3-642-03091-8
![Computer Security -- ESORICS 2009 Computer Security -- ESORICS 2009](https://bilder.buecher.de/produkte/26/26899/26899720m.jpg)
Broschiertes Buch
14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009, Proceedings
2009
7. September 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12755578,978-3-642-04443-4
![Functional and Logic Programming Functional and Logic Programming](https://bilder.buecher.de/produkte/28/28957/28957969m.jpg)
Broschiertes Buch
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
2010
9. April 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
80012138,978-3-642-12250-7
![Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design](https://bilder.buecher.de/produkte/14/14105/14105100m.jpg)
Broschiertes Buch
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
2004
17. November 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11342083,978-3-540-23738-9
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/14/14746/14746674m.jpg)
Broschiertes Buch
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
2004
2. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315872,978-3-540-23024-3
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/20/20946/20946539m.jpg)
Broschiertes Buch
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
2006
20. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11874683,978-3-540-45458-8
![Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology](https://bilder.buecher.de/produkte/20/20946/20946909m.jpg)
Broschiertes Buch
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
2006
27. Juni 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11784180,978-3-540-35633-2
![Declarative Agent Languages and Technologies II Declarative Agent Languages and Technologies II](https://bilder.buecher.de/produkte/21/21932/21932788m.jpg)
Broschiertes Buch
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
2005
16. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11493402,978-3-540-26172-8
![Formal Techniques for Computer Systems and Business Processes Formal Techniques for Computer Systems and Business Processes](https://bilder.buecher.de/produkte/22/22011/22011461m.jpg)
Broschiertes Buch
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
2005
25. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11549970,978-3-540-28701-8
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/23/23149/23149115m.jpg)
Broschiertes Buch
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
2003
18. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40801-7
![Frontiers of Combining Systems Frontiers of Combining Systems](https://bilder.buecher.de/produkte/23/23303/23303487m.jpg)
Broschiertes Buch
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
2002
20. März 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846555,978-3-540-43381-1
![Application and Theory of Petri Nets 1995 Application and Theory of Petri Nets 1995](https://bilder.buecher.de/produkte/09/09208/09208354m.jpg)
Broschiertes Buch
16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
1995.
7. Juni 1995
Springer, Berlin
![Software Engineering and Formal Methods Software Engineering and Formal Methods](https://bilder.buecher.de/produkte/50/50397/50397502m.jpg)
Broschiertes Buch
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
1st ed. 2018
3. Februar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-74780-4
![Symposium on Real-Time and Hybrid Systems Symposium on Real-Time and Hybrid Systems](https://bilder.buecher.de/produkte/53/53643/53643393m.jpg)
Broschiertes Buch
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
1st ed. 2018
29. September 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-01460-5
![Integrated Formal Methods Integrated Formal Methods](https://bilder.buecher.de/produkte/57/57893/57893774m.jpg)
Broschiertes Buch
15th International Conference, IFM 2019, Bergen, Norway, December 2¿6, 2019, Proceedings
1st ed. 2019
15. November 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-34967-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON