Clear Search

Books+ Search Results

Subject: "Engineering"
Recently Added: Is Not
Is Not Is
within 1 Year
Subject: All Of
All Of Any Of
Is
Is Is Not
Computer science Is
Is Is Not
Logic design

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
High-Level Synthesis From Algorithm to Digital Circuit
Author
Coussy, Philippe
Published
Dordrecht : Springer Science + Business Media B.V, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Author
Fitzgerald, John
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Author
Izadian, Afshin
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Introduction to Logic Circuits & Logic Design with Verilog
Author
LaMeres, Brock J.
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Machine Learning in VLSI Computer-Aided Design
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Quick Start Guide to Verilog
Author
LaMeres, Brock J.
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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
19.
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
20.
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
21.
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
22.
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
23.
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
24.
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
25.
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
26.
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
27.
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
28.
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
29.
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
30.
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
31.
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
32.
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
33.
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
34.
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
35.
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
36.
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
37.
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
38.
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
39.
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
40.
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
41.
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
42.
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
43.
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
44.
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
45.
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
46.
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
47.
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
48.
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
49.
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
50.
The Correctness-by-Construction Approach to Programming
Author
Kourie, Derrick G.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Author
Arbab, F. (Farhad)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
Author
Sloane, Anthony
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
53.
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
54.
Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Author
Kristensen, Lars M.
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
55.
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011. Proceedings
Author
Holzer, Markus
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Author
Salaün, G. (Gwen)
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author
Hofmann, Martin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Author
Barner, Sharon
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Author
Hage, Jurriaan
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
60.
Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Author
Groce, Alex
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
61.
Specification of Software Systems
Author
Alagar, V.S.
Published
London : Springer-Verlag London Limited, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Author
Wolff, Burkhart, 1962-
Published
Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
Author
Gogolla, Martin
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Author
Page, Rex L.
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Author
Lilius, Johan
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
66.
Architecting Dependable Systems VII
Author
Casimiro, Antonio
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Author
Kowalewski, S. (Stefan)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
68.
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author
Ong, Luke
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
69.
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Author
Arbab, F. (Farhad)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
70.
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Author
Pol, Jaco
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
71.
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Author
Pnueli, A.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Author
Carro, Manuel
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Author
Ölveczky, Peter Csaba
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
74.
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Author
Petrenko, Alexandre
Published
Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
75.
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Author
Alpuente, María
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
76.
Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Author
Cofer, Darren
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
77.
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
78.
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
79.
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
80.
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-00255-7
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
81.
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
82.
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Author
Gent, Ian P.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
83.
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Author
Palsberg, Jens
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
84.
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
85.
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
86.
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
Author
Amadio, Roberto
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
87.
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
Author
Amadio, Roberto
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
88.
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
Author
Fiadeiro, José Luiz
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
89.
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
Author
Fiadeiro, José Luiz
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
90.
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Author
Yorav, Karen
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
91.
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Author
Yorav, Karen
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
92.
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
93.
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
94.
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
95.
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Author
Hudak, Paul
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
96.
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Author
Hudak, Paul
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
97.
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
98.
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
99.
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Author
Logozzo, Francesco
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
100.
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Author
Logozzo, Francesco
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media