[PDF] dynamic logic free ebooks download




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

Library Search


37 books found   ►also search"dynamic logic" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
1285154 Krister Segerberg A Concise Introduction to Propositional Dynamic Logic 1993 63 English 2 Mb djvu GET
653872 Krister Segerberg A Concise Introduction to Propositional Dynamic Logic 1993 32 English 2 Mb pdf GET
186143 Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Walter D. Wallis Progress in computer science and applied logic 24
A Graph-Theoretic Approach to Enterprise Network Dynamics
9780817644857, 0817644857
Birkhäuser 2007 230 English 2 Mb pdf GET
501885 Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Walter D. Wallis Progress in Computer Science and Applied Logic (PCS)
A Graph-Theoretic Approach to Enterprise Network Dynamics
0817644857, 9780817644857
Birkhäuser 2007 237 English 2 Mb pdf GET
1436986 Ben Rodenhäuser ILLC Dissertation Series DS-2014-04
A Matter of Trust. Dynamic Attitudes in Epistemic Logic [PhD Thesis]
978–94–6259–220–9
University of Amsterdam 2014 234 English 1 Mb pdf GET
992428 Sven Ove Hansson (auth.) Applied Logic Series 11/2
A Textbook of Belief Dynamics: Solutions to exercises [1 ed.]
978-0-7923-5329-4, 978-94-007-0814-3
Springer Netherlands 1999 65 English 3 Mb pdf GET
466803 Carolyn Hughes Tuohy Accidental Logics: The Dynamics of Change in the Health Care Arena in the United States, Britain, and Canada [1 ed.]
0195128214, 9780195128215
1999 328 English 21 Mb pdf GET
1020598 Diderik Batens Adaptive Logics and Dynamic Proofs. Mastering the Dynamics of Reasoning, with Special Attention to Handling Inconsistency [draft ed.] 2010 322 English 1 Mb pdf GET
910764 Benjamin WeiГџ Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction [phd thesis ed.]
9783866446236, 3866446233
KIT Scientific Publishing 2011 294 English 2 Mb djvu GET
801275 Benjamin Weiß Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
3866446233, 9783866446236
KIT Scientific Publishing 2011 269 English 13 Mb pdf GET
564650 Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi Synthese Library 337
Dynamic Epistemic Logic
9781402058387, 1402058381
Springer 2008 303 English 3 Mb pdf GET
741683 Stefan Minica Dynamic Epistemic Logic of Questions and Inquiry [Extended Edition]
9789057762291
2011 251 English 9 Mb pdf GET
4493 David Harel, Dexter Kozen, Jerzy Tiuryn Foundations of computing
Dynamic logic [1st ed.]
9780262082891, 0262082896, 9781423728337
MIT Press 2000 476 English 2 Mb pdf GET
337306 David Harel, Dexter Kozen, Jerzy Tiuryn Foundations of Computing
Dynamic Logic
0262082896, 9780262082891
MIT 2000 476 English 2 Mb pdf GET
758075 David Harel, Dexter Kozen, Jerzy Tiuryn Dynamic Logic (Foundations of Computing) [1st ed.]
9780262082891, 0262082896, 9781423728337
476 English 2 Mb pdf GET
944946 Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.) Applied Logic Series 12
Dynamic Worlds: From the Frame Problem to Knowledge Management [1 ed.]
978-90-481-5159-2, 978-94-017-1317-7
Springer Netherlands 1999 283 English 10 Mb pdf GET
1288144 Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.) Applied Logic Series 12
Dynamic Worlds: From the Frame Problem to Knowledge Management [1 ed.]
9789401713177, 9401713170, 9048151597, 9789048151592
Springer Netherlands 1999 283 English 3 Mb djvu GET
1436971 Stefan A. Minica ILLC Dissertation Series DS-2011-08
Dynamic-Epistemic Logic of Questions and Inquiry [PhD Thesis]
978-90-5776-229-1
University of Amsterdam 2011 250 English 2 Mb pdf GET
788340 Leonid Perlovsky, Ross Deming, Roman Ilin (auth.) Studies in Computational Intelligence 371
Emotional Cognitive Neural Algorithms with Engineering Applications: Dynamic Logic: FromVague to Crisp [1 ed.]
3642228291, 9783642228292
Springer-Verlag Berlin Heidelberg 2011 202 English 4 Mb pdf GET
1408053 Marko Nöhren (auth.) Progress in IS
Enterprise Software Sourcing Performance: The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations [1 ed.]
978-3-319-23924-8, 978-3-319-23926-2
Springer International Publishing 2016 XXI, 223 English 4 Mb pdf GET
1159359 Erik Sandewall Oxford Logic Guides 30
Features and Fluents: The Representation of Knowledge About Dynamical Systems [Volume 1]
0198538456, 9780198538455
Oxford University Press, USA 1994 350 English 3 Mb djvu GET
962305 David Harel (eds.) Lecture Notes in Computer Science 68
First-Order Dynamic Logic [1 ed.]
978-3-540-09237-7, 978-3-540-35346-1
Springer-Verlag Berlin Heidelberg 1979 136 English 3 Mb pdf GET
597741 David Harel (eds.) Lecture Notes in Computer Science 68
First-Order Dynamic Logic [1 ed.]
3540092374, 9783540092377
Springer-Verlag Berlin Heidelberg 1979 136 English 1 Mb djvu GET
1290766 Alexandru Baltag, Sonja Smets (eds.) Outstanding Contributions to Logic 5
Johan Van Benthem on Logic and Information Dynamics [1 ed.]
9783319060255, 3319060252
Springer 2014 1027 English 14 Mb pdf GET
66191 Raymond Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems [illustrated edition]
9780262182188, 0-262-18218-1
The MIT Press 2001 445 English 3 Mb pdf GET
  ►
 Nicolas Bourbaki
Singer M.F.
Jean Giraud
Андрей Прессли
Lawrence M Graves
Петренко В.П.
Chicone C., Swanson R.
Эльсгольц Л.Э., Норкин С.Б.
Jacod J.
Зорич В.А.
N. Ya. Vilenkin, R. E. Flaherty
Anadi Jiban Das
Lars Hörmander
Иляшенко Ю.С.
Кириллов.
Dominic D. Joyce
Dominic D. Joyce
Heinz Hopf (auth.)
Melrose.
Henk A. van der Vorst

bioinformaticsgenetic programmingform factormass spectroscopylattice basis reductionhumanidadesbiodegradablecapillary forcecompressorsgas chromatographydeconstructiongenomicstaguchi methodscarbohydrate metabolismcentral nervous systemmolecular mechanicsrisk factorsfluidsnanocompositeimage recognition