Clear Search

Books+ Search Results

Subject: "Computer software"
Format: Is
Is Is Not
Software & Electronic Media
Subject: 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.
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author
Breitman, Karin
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
2.
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author
Gibbons, Jeremy, 1966-
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
3.
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Author
Koopman, Pieter
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
4.
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Author
Liu, Zhiming
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
5.
Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
Author
Fuller, Richard
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
6.
Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
Author
Kolehmainen, Mikko
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
7.
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
Author
Ramakrishnan, C. R.
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
8.
High Performance Computing û HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
Author
Bader, David A.
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
9.
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Author
Ghilardi, Silvio
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
10.
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Author
Núñez, Manuel
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
11.
Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Author
Hua, Arrems
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
12.
Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers
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-00393-6
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
13.
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Author
Leucker, Martin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
14.
Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 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
15.
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
Author
Labarta, Jesús
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
16.
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 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
17.
Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
Author
Verdone, Roberto
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
18.
Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
Author
Samarati, Pierangela
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
19.
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Author
Abran, Alain
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
20.
High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
21.
Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
22.
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Author
Albers, Susanne
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
23.
Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Author
Guerraoui, Rachid
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
24.
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Author
Degano, Pierpaolo
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
25.
Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Author
Rao, Shrisha
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
26.
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Author
Bensalem, Saddek
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
27.
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Author
Dolev, Shlomi
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
28.
Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 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
29.
Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers
Author
Kim, Sehun
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
30.
Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Author
Keidar, Idit
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
31.
Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers
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-00306-6
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
32.
Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Author
Malyshkin, V. Ė. (Viktor Ėmmanuilovich)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
33.
Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Author
Liu, Benyuan
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media