Clear Search

Books+ Search Results

Subject: "Computer science"
Subject: All Of
All Of Any Of
Is
Is Is Not
Artificial intelligence Is
Is Is Not
Computer science 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.
Databases and Information Systems Fourth International Baltic Workshop, Baltic DB&IS 2000 Vilnius, Lithuania, May 1–5, 2000 Selected Papers
Author
Barzdinʹ, I͡A. M. (I͡An Martynovich)
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2001.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Artificial Intelligence Logic and Applications The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Instruction Selection Principles, Methods, and Applications
Author
Hjort Blindell, Gabriel
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Enterprise Information Systems V
Published
Dordrecht : Springer Netherlands, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Trustworthy Open Self-Organising Systems
Published
Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Metasynthetic Computing and Engineering of Complex Systems
Author
Cao, Longbing
Published
London : Springer London : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
RoboCup 2014: Robot World Cup XVIII
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Automatic Generation of Combinatorial Test Data
Author
Zhang, Jian
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Author
Dalpiaz, Fabiano
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Handbook on Agent-Oriented Design Processes
Author
Cossentino, Massimo
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
RoboCup 2013: Robot World Cup XVII
Author
Behnke, Sven
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author
Müller, J. P. (Jörg P.), 1965-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Author
Cossentino, Massimo
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Ontology-Driven Software Development
Author
Pan, Jeff Z.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Author
Dastani, Mehdi
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Author
Neto, Pedro
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
30.
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author
Henderson-Sellers, Brian
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Ontology-based Application Integration
Author
Paulheim, Heiko
Published
New York, NY : Springer Science+Business Media, LLC, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Author
Giese, Martin
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
33.
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
Ontologies for Software Engineering and Software Technology
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
36.
The Seventeen Provers of the World Foreword by Dana S. Scott
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Multi-Agent Programming Languages, Platforms and Applications
Published
Boston, MA : Springer US, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Software Engineering with Computational Intelligence
Author
Khoshgoftaar, Taghi M.
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0429-0
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Conceptual Modelling of Multi-Agent Systems The CoMoMAS Engineering Environment
Author
Glaser, Norbert
Published
Boston, MA : Springer US : Imprint: Springer, 2002.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0973-8
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Estimation of Distribution Algorithms A New Tool for Evolutionary Computation
Author
Larrañaga, Pedro
Published
Boston, MA : Springer US : Imprint: Springer, 2002.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-1539-5
Location
Yale Internet Resource >> None
Format
Books / Online
42.
Automatic Re-engineering of Software Using Genetic Programming
Author
Ryan, Conor
Published
Boston, MA : Springer US : Imprint: Springer, 2000.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-4631-3
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Constraint-Based Design Recovery for Software Reengineering Theory and Experiments
Author
Woods, Steven G.
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-5461-5
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Domain Modelling for Interactive Systems Design
Author
Sutcliffe, Alistair
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-5613-8
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Experimental Learning in Production Management IFIP TC5 / WG5.7 Third Workshop on Games in Production Management: The effects of games on developing production management 27–29 June 1997, Espoo, Finland
Author
Smeds, Riitta
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Image Description and Retrieval
Author
Vicario, Enrico
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-4825-6
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Objects for Concurrent Constraint Programming
Author
Henz, Martin
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-5477-6
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Parallel and Constraint Logic Programming An Introduction to Logic, Parallelism and Constraints
Author
Vlahavas, Ioannis
Published
Boston, MA : Springer US : Imprint: Springer, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-5119-5
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Clause and Effect Prolog Programming for the Working Programmer
Author
Clocksin, William F.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-58274-5
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Intelligent Systems and Financial Forecasting
Author
Kingdon, Jason
Published
London : Springer London, 1997.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-0949-5
Location
Yale Internet Resource >> None
Format
Books / Online