[PDF] abstract machine free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


32 books found   ►also search"abstract machine" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
517640 Werner Kluge Texts in Theoretical Computer Science. An EATCS Series
Abstract Computing Machines: A Lambda Calculus Perspective
3540211462, 9783540211464
Springer 2005 399 English 3 Mb pdf GET
1420485 Dowd, Garin; Beckett, Samuel Faux titre no 295
Abstract machines : Samuel Beckett and philosophy after Deleuze and Guattari
904202206X, 978-90-420-2206-5, 9781435612945, 1435612949, 9789401204422, 940120442X
Rodopi 2007 319 English 1 Mb pdf GET
396210 Walter J Savitch Little, Brown computer systems series
Abstract machines and grammars [First Edition]
0316771619, 9780316771610
Little, Brown 1982 226 English 6 Mb pdf GET
599487 Savitch W.J. Little
Abstract machines and grammars
0316771619, 9780316771610
Brown 1982 226 English 2 Mb djvu GET
664420 Walter J Savitch Abstract machines and grammars (Little, Brown computer systems series) [First Edition]
0316771619, 9780316771610
Little, Brown 1982 229 English 2 Mb djvu GET
608241 Walter J Savitch Abstract machines and grammars (Little, Brown computer systems series) [First Edition]
0316771619, 9780316771610
Little, Brown 1982 229 English 2 Mb djvu GET
576511 Garin Dowd Faux Titre 295
Abstract Machines: Samuel Beckett and Philosophy after Deleuze and Guattari
904202206X, 9789042022065, 9781435612945
Rodopi 2007 320 English 1 Mb pdf GET
218910 Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.) Lecture Notes in Computer Science 1912
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings [1 ed.]
9783540679592, 3540679596
Springer Berlin Heidelberg 2000 X, 386 p. English 4 Mb pdf GET
184772 Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.) Lecture Notes in Computer Science 1912
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings [1 ed.]
3540679596, 9783540679592
Springer Berlin Heidelberg 2000 X, 386 p. English 4 Mb pdf GET
1133644 Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) Lecture Notes in Computer Science 2589
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings [1 ed.]
978-3-540-00624-4, 978-3-540-36498-6
Springer-Verlag Berlin Heidelberg 2003 436 English 24 Mb pdf GET
184770 Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) Lecture Notes in Computer Science 2589
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings [1 ed.]
3540006249, 9783540006244
Springer-Verlag Berlin Heidelberg 2003 436 English 4 Mb pdf GET
184773 Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (eds.) Lecture Notes in Computer Science 3052
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings [1 ed.]
3540220941, 9783540220947, 9783540247739
Springer-Verlag Berlin Heidelberg 2004 240 English 7 Mb pdf GET
113703 Egon Börger, Robert Stärk Abstract state machines A method for high level system design and analysis [1 ed.]
3540007024, 9783540007029
Springer 2003 448 English 22 Mb pdf GET
276175 Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves Lecture Notes in Computer Science - Theoretical Computer Science and General Issues
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
3642118100, 9783642118104
Springer 2010 429 English 5 Mb pdf GET
915775 Daniel Jackson, Eunsuk Kang (auth.), Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.) Lecture Notes in Computer Science 5977 : Theoretical Computer Science and General Issues
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings [1 ed.]
9783642118104, 3642118100
Springer-Verlag Berlin Heidelberg 2010 416 English 5 Mb pdf GET
1180448 Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings [1 ed.]
978-3-662-43651-6, 978-3-662-43652-3
Springer-Verlag Berlin Heidelberg 2014 336 English 8 Mb pdf GET
1533633 Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.) Lecture Notes in Computer Science 9675
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings [1 ed.]
978-3-319-33599-5, 978-3-319-33600-8
Springer International Publishing 2016 XXI, 426 English 24 Mb pdf GET
915776 Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.) Lecture Notes in Computer Science 7316
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings [1 ed.]
9783642308840, 3642308848
Springer-Verlag Berlin Heidelberg 2012 378 English 8 Mb pdf GET
947695 Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.) Lecture Notes in Computer Science 7316
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings [1 ed.]
978-3-642-30884-0, 978-3-642-30885-7
Springer-Verlag Berlin Heidelberg 2012 378 English 11 Mb pdf GET
184771 Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.) Lecture Notes in Computer Science 5238 : Theoretical Computer Science and General Issues
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings [1 ed.]
9783540876021, 3540876022
Springer-Verlag Berlin Heidelberg 2008 384 English 5 Mb pdf GET
1134309 Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.) Lecture Notes in Computer Science 5238 Theoretical Computer Science and General Issues
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings [1 ed.]
978-3-540-87602-1, 978-3-540-87603-8
Springer-Verlag Berlin Heidelberg 2008 384 English 7 Mb pdf GET
210120 Abstract state machines..A method for high-level system design and analysis Springer 2003 448 English 3 Mb pdf GET
1407 Egon Boerger, Robert Staerk Abstract state machines: A method for high-level system design and analysis [1 ed.]
9783540007029, 3540007024
Springer 2003 448 English 3 Mb pdf GET
1408 Egon Boerger, Robert Staerk Abstract state machines: Solutions to exercises [1 ed.]
9783540007029, 3540007024
Springer 2003 18 English 253 kb pdf GET
1180223 Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.) Communications in Computer and Information Science 433
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings [1 ed.]
978-3-319-07511-2, 978-3-319-07512-9
Springer International Publishing 2014 161 English 7 Mb pdf GET
  ►
 Suzanna Becker, Zoubin Ghahramani, Thomas Diettrich
Эллис Р.Х.
E.J. Hearn
Саинова Д.З.
Хомский Н.
Hermite Ch.
Friedman.
S. W. P. Steen
Ash R.
Bruce C. Berndt
Thomae J.
A. R. Forsyth
Heide Gluesing-Luerssen (auth.)
Francis B. Hildebrand
Rami Shakarchi
Вайнберг М.М., Треногин В.А.
Хатсон В., Пим Дж.С.
Гриффитс Ф.
Allen Hatcher
Unknown.

room temperaturephase ii studywarheadspectrumphase diagramdifferential formsregulationbeta functionfusion protein