[PDF] state machine free ebooks download




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

Library Search


54 books found   ►also search"state machine" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
1695889 Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski - Logic Synthesis for Finite State Machines based on Linear Chains of States Springer 2017 english 4 Mb pdf GET
1573245 Tertulien Ndjountche Tertulien Ndjountche - Digital Electronics, Volume 3: Finite-state Machines Wiley-ISTE 2016 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
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
  ►

If no results, Please search state machine here Again

 Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman
Evariste Galois, Sophie Lie
Мальцев А.И.
Grothendieck A.
Daniel Gorenstein
R. Wong
Gary L. Wise, Eric B. Hall
Brunner H.
J. A. Schouten
Бергман С. (Bergman S.)
Шалашилин В.И., Кузнецов Е.Б.
Зельдович Я.Б., Яглом И.М.

Trebels W.
Rolf Schneider
Michael Spivak, Michael Spivak
Shikin E.V., Plis A.I.
Самарский А.А., Гулин А.В.
Сабоннадьер Ж.-К., Ж.-Л.
M. Asghar Bhatti

action researchgeneticsintracellular calciumdigital mediarobotsproximate causecohort studieslearning disabilitiesfatty aciddrug discoveryadverse eventpsychologyreceiver operator characteristiccentral nervous systemhuman capital managementdielectric constantprogrammed instructionbiomasswearconfidence intervalsocial workarchaeologycriticismaflatoxinsreal timediscrete cosine transformdecayvaccinationsreformingarchaeologynuclear medicinestability analysisturbulencepricingpsychopathologymolecular medicineholoceneservice innovationpersonalityreliabilitycomparative studyjob satisfactionshear strengthwaist hip ratioquantum fluctuationreview articlesepidemiologycropsnear infrared