[PDF] state machine free ebooks download




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

Library Search


51 books found   ►also search"state machine" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension 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
340655 Sunggu Lee Advanced Digital Logic Design Using VHDL, State Machines, and Synthesis for FPGA's [1 ed.]
0534466028, 9780534466022
CL-Engineering 2005 500 English 4 Mb djvu GET
1312732 Valentin Asanbayev (auth.) Alternating Current Multi-Circuit Electric Machines: A New Approach to the Steady-State Parameter Determination [1 ed.]
978-3-319-10108-8, 978-3-319-10109-5
Springer International Publishing 2015 914 English 12 Mb pdf GET
336894 Benschop N.F. Associative Digital Network Theory An Associative Algebra Approach to Logic, Arithmetic and State Machines
9781402098291
Springer 2010 181 English 4 Mb pdf GET
110082 Nico F. Benschop Associative digital network theory: an associative algebra approach to logic, arithmetic and state machines [1 ed.]
9781402098284, 1402098286
Springer 2009 181 English 6 Mb pdf GET
259354 Nico F. Benschop Associative Digital Network Theory: An Associative Algebra Approach to Logic, Arithmetic and State Machines [1 ed.]
1402098286, 9781402098284, 9781402098291, 9781402098659
Springer 2009 211 English 5 Mb pdf GET
275007 Richard F. Tinder Asynchronous Sequential Machine Design and Analysis: A Comprehensive Development of the Design and Analysis of Clock-Independent State Machines and Systems ... Lectures on Digital Circuits & Systems)
1598296892, 9781598296891
Morgan and Claypool Publishers 2009 252 English 6 Mb pdf GET
907421 Electric Boat Company.; United States. Navy Dept. Bureau of Ships Detail specifications for building 80-ft. motor torpedo boats, PT's 103-138 : hull and machinery 1944 104 English 480 kb pdf GET
  ►
 Розенблат М.А. (ред.)
Jim Miller
Gauss C.F.
Rande P.
Garrett Birkhoff
Karel Hrbacek, Thomas Jech
M. Demazure, A. Grothendieck, M. Artin
Хорн, Джонсон.
Hari Srivastava, H. L. Manocha
Кудрявцев Л.Д.
Полиа Г., Сеге Г.
Pavel Drabek, Jaroslav Milota
Ward T.B.
N.E. Wegge-Olsen
Helgason S.
Matousek J.
Youcef Saad
Tao Pang
Magnus Rudolph Hestenes
Zdzistaw Naniewicz, P. D. Panagiotopoulos

fluidsobject orientedsoft computingchinese hamster ovaryforestsproduction systemwireless networkssol gelcell wallblood groups