Limit Search Results
Author
SpringerLink (Online service)
(329)
Löwe, Benedikt. editor.
(8)
Rozenberg, Grzegorz. editor.
(6)
de Queiroz, Ruy. editor.
(6)
Potapov, Igor. editor. (orcid)0000-0002-7192-7853
(5)
Language
Publication Date
-
2006
(43)
2007
(39)
2009
(38)
2012
(33)
2014
(33)
Subject
Computer science.
(329)
Computer Science Logic and Foundations of Programming.
(260)
Formal Languages and Automata Theory.
(189)
Machine theory.
(189)
Software engineering.
(141)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
329 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
by 
Indrzejczak, Andrzej. author.
https://doi.org/10.1007/978-90-481-8785-0
Format: 
Excerpt: 
Trends in Logic, Studia Logica Library,
50. 
Cover image for Constructivity and Computability in Historical and Philosophical Perspective
Constructivity and Computability in Historical and Philosophical Perspective
by 
Dubucs, Jacques. editor.
https://doi.org/10.1007/978-94-017-9217-2
Format: 
Excerpt: 
Logic, Epistemology, and the Unity of Science,
51. 
Cover image for The Realism-Antirealism Debate in the Age of Alternative Logics
The Realism-Antirealism Debate in the Age of Alternative Logics
by 
Rahman, Shahid. editor.
https://doi.org/10.1007/978-94-007-1923-1
Format: 
Excerpt: 
The Realism-Antirealism Debate in the Age of Alternative Logics Rahman, Shahid. editor.
52. 
Cover image for Notes on Introductory Combinatorics
Notes on Introductory Combinatorics
by 
Pólya, George. author.
https://doi.org/10.1007/978-0-8176-4953-1
Format: 
Excerpt: 
Progress in Computer Science and Applied Logic,
53. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
by 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
54. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
by 
Muscholl, Anca. editor.
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
55. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
by 
Bensalem, Saddek. editor.
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
56. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
by 
Ait Ameur, Yamine. editor.
https://doi.org/10.1007/978-3-662-43652-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
57. 
Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
by 
van Breugel, Franck. editor.
https://doi.org/10.1007/978-3-319-06880-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
58. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
59. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
by 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
60. 
Cover image for Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
by 
Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-14370-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
Select an Action