Search Results for Software engineering

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Artificial Intelligence (incl. Robotics).

Author

SpringerLink (Online service)

(65)

Kotzé, Paula. editor.

(4)

Lindgaard, Gitte. editor.

(4)

Marsden, Gary. editor.

(4)

Wesson, Janet. editor.

(4)

Winckler, Marco. editor.

(4)

Bravo, José. editor.

(2)

Cossentino, Massimo. editor.

(2)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Lee, Jangmyung. editor.

(2)

Lee, Min Cheol. editor.

(2)

Lee, Roger. editor.

(2)

Liu, Honghai. editor.

(2)

Liu, Zhiming. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Ryu, Jee-Hwan. editor.

(2)

Son, Tran Cao. editor.

(2)

Spivakovsky, Aleksander. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Woodcock, Jim. editor.

(2)

Zholtkevych, Grygoriy. editor.

(2)

Zhu, Huibiao. editor.

(2)

Abdulrazak, Bessam. editor.

(1)

Albert, Elvira. editor.

(1)

Ammari, Habib M. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baldoni, Roberto. editor.

(1)

Bellahsene, Zohra. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertin, Emmanuel. editor.

(1)

Biere, Armin. editor.

(1)

Biswas, Jit. editor.

(1)

Blazy, Sandrine. editor.

(1)

Boella, Guido. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Botterweck, Goetz. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cellier, Peggy. editor.

(1)

Chen, Liming Luke. editor.

(1)

Chen, Xiaoping. editor.

(1)

Chignell, Mark. editor.

(1)

Chowdhry, Bhawani Shankar. editor.

(1)

Cordeiro, José. editor.

(1)

Cordy, James R. editor.

(1)

Coronato, Antonio. editor.

(1)

Crespi, Noel. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Daniel, Florian. editor.

(1)

Dastani, Mehdi. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennis, Louise. editor.

(1)

Diaconescu, Ada. author.

(1)

Dignum, Frank. editor.

(1)

Dillon, Tharam. editor.

(1)

Distel, Felix. editor.

(1)

Dolog, Peter. editor.

(1)

Dou, Deijing. editor.

(1)

Duchier, Denys. editor.

(1)

Ebert, Jürgen. editor.

(1)

Eder, Johann. editor.

(1)

Elkind, Edith. editor.

(1)

Emde Boas, Peter. editor.

(1)

Endres-Niggemeyer, Brigitte. editor.

(1)

Erwig, Martin. editor.

(1)

Escalona, María José. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Fleuriot, Jacques. editor.

(1)

Fontaine, Pascal. editor.

(1)

Franch, Xavier. editor.

(1)

Galmiche, Didier. editor.

(1)

Ganter, Bernhard. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giese, Holger. editor.

(1)

Groen, Frans C. A. editor.

(1)

Hedin, Görel. editor.

(1)

Hübner, Jomi F. editor.

(1)

Hřebíček, Jiří. editor.

(1)

Ida, Tetsuo. editor.

(1)

Italiano, Giuseppe F. editor.

(1)

Jensen, Rune Møller. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kealey, Ryan. editor.

(1)

Kobayashi, Hisato. editor.

(1)

Kubásek, Miroslav. editor.

(1)

Kühnberger, Kai-Uwe. editor.

(1)

Lalanda, Philippe. author.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Leenheer, Pieter. editor.

(1)

Legay, Axel. editor.

(1)

Leite, João. editor.

(1)

Lemos, Rogério. editor.

(1)

Lepistö, Arto. editor.

(1)

Li, Qing. editor.

(1)

Logan, Brian. editor.

(1)

Lévy, François. editor.

(1)

Maalej, Walid. editor.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Magedanz, Thomas. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mascardi, Viviana. editor.

(1)

Mastroeni, Isabella. editor.

(1)

McCann, Julie A. author.

(1)

McMillan, Ken. editor.

(1)

Meersman, Robert. editor.

(1)

Middeldorp, Aart. editor.

(1)

Mokhtari, Mounir. editor.

(1)

Moreira, António Paulo. editor.

(1)

Morgenstern, Leora. editor.

(1)

Moschitti, Alessandro. editor.

(1)

Müller, Hausi A. editor.

(1)

Müller, Jörg P. editor.

(1)

Nahir, Amir. editor.

(1)

Nawrocki, Jerzy. editor.

(1)

Neto, Pedro. editor.

(1)

Ng, Joanna. editor.

(1)

Nisse, Nicolas. editor.

(1)

Norrie, Moira C. editor.

(1)

Nugent, Christopher. editor.

(1)

Ochoa, Sergio F. editor.

(1)

Oliveira, Jonice. editor.

(1)

Pacino, Dario. editor.

(1)

Paige, Richard F. editor.

(1)

Pan, Gang. author.

(1)

Pan, Jeff Z. editor.

(1)

Panetto, Hervé. editor.

(1)

Parmentier, Yannick. editor.

(1)

Paschke, Adrian. editor.

(1)

Pastor, Óscar. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pichardie, David. editor.

(1)

Plank, Barbara. editor.

(1)

Purvis, Martin K. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Ritter, Norbert. editor.

(1)

Rizzoli, Andrea E. editor.

(1)

Rubin, Julia. editor.

(1)

Rudolph, Sebastian. editor.

(1)

Sack, Harald. editor.

(1)

Salinesi, Camille. editor.

(1)

Savarimuthu, Bastin Tony Roy. editor.

(1)

Schimak, Gerald. editor.

(1)

Schmidt, Renate A. editor.

(1)

Shah, Assadullah. editor.

(1)

Shaikh, Faisal Karim. editor.

(1)

Shaw, Mary. editor.

(1)

Sher, Gene I. author.

(1)

Shishkov, Boris. editor.

(1)

Soffer, Pnina. editor.

(1)

Staab, Steffen. editor.

(1)

Steen, Maarten. editor.

(1)

Stefaneas, Petros. editor.

(1)

Stone, Peter. editor.

(1)

Sucar, Luis Enrique. editor.

(1)

Thurimella, Anil Kumar. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Truthe, Bianca. editor.

(1)

Uqaili, Muhammad Aslam. editor.

(1)

Urzaiz, Gabriel. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Vega-Rodríguez, Miguel A. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vos, Tanja. editor.

(1)

Voß, Stefan. editor.

(1)

Wang, Pei. editor.

(1)

Winikoff, Michael. editor.

(1)

Woltran, Stefan. editor.

(1)

Wong, Lawrence. editor.

(1)

Wu, Zhaohui. author.

(1)

Wyk, Eric. editor.

(1)

Wyner, Adam. editor.

(1)

Yesha, Yelena. editor.

(1)

Zamboni, Luca. editor.

(1)

Zant, Tijn. editor.

(1)

Zhao, Yuting. editor.

(1)

Language

(65)

Publication Date

-

(65)

Subject

Artificial intelligence.

(65)

Software engineering.

(65)

Computer science.

(63)

Information Systems Applications (incl. Internet).

(23)

Mathematical Logic and Formal Languages.

(19)

(18)

Logics and Meanings of Programs.

(18)

Computer Communication Networks.

(16)

Algorithm Analysis and Problem Complexity.

(13)

Computer software.

(13)

User Interfaces and Human Computer Interaction.

(12)

Information Storage and Retrieval.

(11)

Information storage and retrieval systems.

(11)

Programming Languages, Compilers, Interpreters.

(11)

Information systems.

(8)

Programming Techniques.

(8)

Computers and Society.

(7)

Computation by Abstract Devices.

(6)

Computational complexity.

(6)

Computer Appl. in Administrative Data Processing.

(6)

Discrete Mathematics in Computer Science.

(6)

Optical pattern recognition.

(6)

Pattern Recognition.

(6)

Computer simulation.

(5)

Computers and Education.

(5)

(5)

Simulation and Modeling.

(5)

Computer vision.

(4)

Image Processing and Computer Vision.

(4)

Special Purpose and Application-Based Systems.

(4)

Computer Applications.

(3)

Computer Science, general.

(3)

Information Systems.

(3)

Management of Computing and Information Systems.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Business Information Systems.

(2)

Computational Intelligence.

(2)

Data protection.

(2)

(2)

Information Systems and Communication Service.

(2)

Information theory.

(2)

Management information systems.

(2)

Robotics and Automation.

(2)

Systems and Data Security.

(2)

Theory of Computation.

(2)

Algebra -- Data processing.

(1)

(1)

Bioinformatics.

(1)

Computational Biology/Bioinformatics.

(1)

Computer graphics.

(1)

Computer system performance.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures.

(1)

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Innovation/Technology Management.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

65 Results Found

Subscribe to search results

1 2 3 4 5 6

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(333011.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03998-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332993.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03753-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332994.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03756-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Author

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332999.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Ontology-Driven Software Development

Ontology-Driven Software Development

Ontology-Driven Software Development

Author

Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.

Preferred Shelf Number

ONLINE(333408.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31226-7

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(334041.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35737-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38197-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38209-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Author

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334626.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38574-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Author

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334652.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38700-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Author

Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334655.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38709-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11