Clear Search

Books+ Search Results

Subject: "Design"
Format: Is
Is Is Not
Books
LC Class: Is
Is Is Not
Q - Science
Subject: Is
Is Is Not
Logic design

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (665)
1.
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Introduction to Formal Grammars
Author
Gross, Maurice
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1970.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
A First Introduction to Quantum Computing and Information
Author
Zygelman, Bernard
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Refinement Semantics, Languages and Applications
Author
Derrick, John
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Author
Casadio, C. (Claudia)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Concrete Semantics With Isabelle/HOL
Author
Nipkow, Tobias
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Author
Breugel, Franck
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Transactions on Computational Science XXIV Special Issue on Reversible Computing
Author
Gavrilova, Marina L.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Drawing Programs: The Theory and Practice of Schematic Functional Programming
Author
Addis, Tom
Published
London : Springer London : Imprint: Springer, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Semantics with Applications: An Appetizer
Author
Nielson, Hanne Riis, 1954-
Published
London : Springer London, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Computer Simulation Studies in Condensed-Matter Physics XVIII Proceedings of the Eighteenth Workshop, Athens, GA, USA, March 7-11, 2005
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Abstract Computing Machines A Lambda Calculus Perspective
Author
Kluge, Werner
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Advanced Topics in Term Rewriting
Author
Ohlebusch, Enno
Published
New York, NY : Springer New York : Imprint: Springer, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement
Author
Broy, Manfred
Published
New York, NY : Springer New York : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-0091-5
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Computational Logic Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29–August 10, 1997
Author
Berger, Ulrich
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-58622-4
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Language Equations
Author
Leiss, Ernst L.
Published
New York, NY : Springer New York : Imprint: Springer, 1999.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Extensional Constructs in Intensional Type Theory
Author
Hofmann, Martin
Published
London : Springer London, 1997.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-0963-1
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Relational Methods in Computer Science
Author
Brink, Chris
Published
Vienna : Springer Vienna : Imprint: Springer, 1997.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-7091-6510-2
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Deontic Logic, Agency and Normative Systems ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Author
Brown, Mark A.
Published
London : Springer London, 1996.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-1488-8
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Logic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
Author
Deville, Yves
Published
London : Springer London, 1994.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-3234-9
Location
Yale Internet Resource >> None
Format
Books / Online
24.
PROLOG for Computer Science
Author
Dawe, M. S.
Published
London : Springer London, 1994.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-2031-5
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Design of Logic Systems
Author
Lewin, D.
Published
Boston, MA : Springer US : Imprint: Springer, 1992.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Logic Program Synthesis and Transformation Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
Author
Clement, Timothy Paul
Published
London : Springer London : Imprint: Springer, 1992.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Beauty Is Our Business A Birthday Salute to Edsger W. Dijkstra
Author
Feijen, W. H. J.
Published
New York, NY : Springer New York, 1990.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-4476-9
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Formalisieren und Beweisen Logik für Informatiker
Author
Siefkes, Dirk
Published
Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 1990.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Predicate Calculus and Program Semantics
Author
Dijkstra, Edsger W.
Published
New York, NY : Springer New York, 1990.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-3228-5
Location
Yale Internet Resource >> None
Format
Books / Online
30.
Logic of Programming and Calculi of Discrete Design International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Author
Broy, Manfred
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-87374-4
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Temporal Logic of Programs
Author
Kröger, Fred, 1945-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-71549-5
Location
Yale Internet Resource >> None
Format
Books / Online
32.
The Origins of Digital Computers Selected Papers
Author
Randell, Brian, 1936-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
33.
Introduzione al Progetto di Sistemi Digitali
Author
Donzellini, Giuliano
Published
Milano : Springer Milan : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
AI and UX Why Artificial Intelligence Needs User Experience
Author
Lew, Gavin
Published
Berkeley, CA : Apress : Imprint: Apress, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
How Transistor Area Shrank by 1 Million Fold
Author
Tigelaar, Howard
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
36.
Ultrascale computing systems
Published
Stevenage : Institution of Engineering & Technology, 2019.
©2019
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Principles and Structures of FPGAs
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Author
Abe, Jair Minoro
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Understanding Concurrent Systems
Author
Roscoe, A. W.
Published
London : Springer London : Imprint: Springer, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Digital Circuit Design for Computer Science Students An Introductory Textbook
Author
Wirth, Niklaus
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-57780-2
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Nonsequential Processes A Petri Net View
Author
Best, Eike
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1988.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-73483-0
Location
Yale Internet Resource >> None
Format
Books / Online
42.
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author
Franke, Björn
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Digital logic design and computer organization with computer architecture for security
Author
Faroughi, Nikrouz
Published
New York, N.Y. : McGraw-Hill Education LLC., c2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Author
Artho, Cyrille
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author
Pitts, A. M. (Andrew M.)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author
Egyed, Alexander
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Author
Voronkov, Andrei
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
53.
Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
54.
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author
Canal, Carlos
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
55.
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author
Liu, Shaoying
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
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
Author
Boniol, Frederic
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Author
Kühn, Eva
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
Author
Lang, Frédéric
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Author
Artho, Cyrille
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
60.
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
Author
Muscholl, Anca
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
61.
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Author
Bensalem, Saddek
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author
Gnesi, Stefania
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Author
Zaverucha, Gerson
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Author
Albert, Elvira
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings
Author
Flatt, Matthew
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
66.
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author
Shao, Zhong, 1927-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Author
Garrigue, Jacques
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
68.
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Author
George, Laurent
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
69.
Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings
Author
Bikakis, Antonis
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
70.
Semantics of Probabilistic Processes An Operational Approach
Author
Deng, Yuxin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
71.
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Author
Counsell, Steve
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Author
Iida, Shusaku
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
Transactions on Petri Nets and Other Models of Concurrency IX
Author
Koutny, Maciej, 1958-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
74.
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author
Bonacina, Maria Paola
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
75.
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author
D’Argenio, Pedro R.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
76.
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Author
Giachino, Elena
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
77.
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Author
Pecheur, Charles
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
78.
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Author
Braberman, Víctor
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
79.
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author
Beyer, Dirk
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
80.
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Author
Arbab, F. (Farhad)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
81.
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author
Lämmel, Ralf
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
82.
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author
Hinze, Ralf
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
83.
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Author
Riguzzi, Fabrizio
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
84.
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Author
Johnsen, Einar Broch
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
85.
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Author
Mogavero, Fabio
Published
Paris : Atlantis Press : Imprint: Atlantis Press, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
86.
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Author
O’Regan, Gerard
Published
London : Springer London : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
87.
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Author
Sagonas, Kostis
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
88.
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author
Felleisen, Matthias
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
89.
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Author
Shan, Chung-chieh
Published
Cham : Springer International Publishing : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
90.
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Author
Keller, H. B. (Hubert B.)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
91.
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Author
Binder, Walter
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
92.
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author
Logozzo, Francesco
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
93.
Transactions on Petri Nets and Other Models of Concurrency VII
Author
Jensen, Kurt
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
94.
Transactions on Petri Nets and Other Models of Concurrency VIII
Author
Koutny, Maciej, 1958-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
95.
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Author
Muggleton, Stephen H.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
96.
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Author
Miné, Antoine
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
97.
Cellular Automata and Groups
Author
Ceccherini-Silberstein, Tullio
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
98.
Verification of Sequential and Concurrent Programs
Author
Apt, Krzysztof R.
Published
London : Springer London, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
99.
Advances in Smalltalk 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
100.
Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
Author
Liblit, Ben
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online