Clear Search

Books+ Search Results

Subject: "Computer science"
Subject: All Of
All Of Any Of
Is
Is Is Not
Computer Communication Networks Is
Is Is Not
Logic design Is
Is Is Not
Software engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
Elements of Distributed Algorithms Modeling and Analysis with Petri Nets
Author
Reisig, Wolfgang
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Author
Garcia-Alfaro, Joaquin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
Author
Cassez, Franck
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings
Author
Jones, Richard
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings
Author
Fischbach, Kai
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Author
Giannakopoulou, Dimitra
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author
Hung, Dang
Published
Cham : Springer International Publishing : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Distributed Programming Theory and Practice
Author
Shankar, A. Udaya
Published
New York, NY : Springer New York : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author
Castagna, Giuseppe
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author
Hierons, Robert M.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Author
Szmuc, Tomasz
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Author
Chakraborty, Supratik
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
Author
Noble, James
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author
Giese, Holger
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
Author
Schmitt, Jens B.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Author
Furia, Carlo A.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Author
Seidl, Helmut
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Author
Brorsson, Mats
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Author
Gschwind, Thomas
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Author
Heisel, Maritta
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Author
Hu, Zhenjiang
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Author
Bultan, Tevfik
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Author
Agha, Gul
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online