[PDF] abstract machine free ebooks download




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

Library Search


 Fiction Pdf Search   Sci-hubs

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
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
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
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
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
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
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
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
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
  ►

If no results, Please search abstract machine here Again

Random Recommend
 Гужва Т.
Данилова Е.Ф.
Петряков В.
Бублик Б.

Яблонский П.
Гайворонский И.В., Яблонский П.К., Ничипорук Г.И.
Либинтов М.
Скляр С. (ред.).
Минаева Т.Д. и др.
Мархоцкий Я.
Ставров И.В.
Белага В.В., Ломаченков И.А., Панебратцев Ю.А.
Журавлева Е.В. (сост.)
Аралова М.А.
Буслов В.А., Яковлев С.Л.

Герасимова В.А.
Герасимова В.А.
Алоева М.А.
Алоева М.А., Бейсова В.Е.
Дулов Е.Н.
Арутюнян Е.Б., Левитас Г.Г.
Алексеев Г.В.
В’юнник В.О. та інш.
Минченко Л.И.
Полякова А.В.
Полякова А.В.
Диденко Т.И.
Диденко Т.И.
Перхавко В.Б., Сухарев Ю.В.
Маишева В.А.
Антонов Н.Н.
Трайтак Д.И., Трайтак Н.Д.
Левенчук А.И.
Дамбар Робин.
Иванов Г.М., Егоркин В.Ф.
Лученкова Е.С., Мядель А.П.
Холопов Юрий.
Измайлов В.В. (ред.)
Абазэ Албэч.
Андреев В. (cост.)
Гримм Д.Д.

Литвиненко Софья.
Андреев Г.Н.
Теркулов В.И.
Гусев Н.А.
Никишкин А.В.
Tuchina N.
 John Paul Catton
Diana Palmer
Henry L. Tischler
Richard K. Miller, Anthony N. Michel
P. G. Ashmore
John Edward Toews
David Lisle
Nuclear and Space Radiation Effects Conference Short Course 1997
Raewyn Connell
Fred Skolnik
צביה פיין, מאירה שגב ורחלי לביא
Bernhard Hommel, Dieter Nattkemper
Marc J. Assael, William A. Wakeham, Anthony R. H. Goodwin, Stefan Will, Michael Stamatoudis
Сёрен Кьеркегор
Тургенев И.С.
Zoey Dean
Lyn O'Brien-Nabors
Benjamin C. Pykles
Wulf Dorn
Allan Stratton
Eliza Griswold
From the Lord of the Alamin
Michael Benoliel, Wei Hua
Derek Chollet, Samantha Power
Lloyd Alexander
G. C. Field
Hannah Jayne
Jean Baudrillard
Sandhills Publishing Company
אלק אפשטיין
Cecelia Tichi
Timo Brandenburger
Eric Kandel
K. C. Klein
Boshu Zhang
Patricia Sue Parker
Hernán Casciari
Jerzy Rydzewski
Rudolf Flesch
Jan Hendrik Reynor Becker
Tim Swanwick, Judy McKimm
Richard M. Gargiulo
Trish Melton
Keith Hayward, Shadd Maruna, Jayne Mooney (editors)
anonim
John Rennie Short
Tim Cahill
Michael Blake
Edwin G. Burrows, Mike Wallace
Diana Palmer

structural biologyimmunohistochemistrylimiting factorperovskitesenzymedifferential thermal analysisepidemiologybeamshuman resources managementfermentationcognitive abilitysocial theorymonetary systemswater treatmentunified field theoryair qualityhealthcareminimizationplantsignal to noise ratioinsurancesurface areaastrophysicsdigestionengineeringrayleigh scatteringcorrosionabsorption spectroscopytransaction processinggenomicsballisticsrecyclingfourier transformcross sectionproductioncognitive developmentsilverrpcquantum gravityintermodulationeconomic growthwork functionmodulesinterfacessocial problemsarchaeologytectonicsbiotopesrelational databasesfree energy