Search Results for Foundations.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(61)

Hartman, Alan. editor.

(3)

Paige, Richard F. editor.

(3)

Rensink, Arend. editor.

(3)

Aßmann, Uwe. editor.

(2)

Chen, Jim X. author.

(2)

France, Robert B. editor.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Ong, Luke. editor.

(2)

Simao, Adenilso. editor.

(2)

Aceto, Luca. editor.

(1)

Akehurst, David H. editor.

(1)

Aksit, Mehmet. editor.

(1)

Alfaro, Luca. editor.

(1)

Amadio, Roberto. editor.

(1)

Babaoglu, Ozalp. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Baxter, Gordon D. author.

(1)

Beetz, Jakob. editor.

(1)

Bencomo, Nelly. editor.

(1)

(1)

Birkedal, Lars. editor.

(1)

Boiten, Eerke A. author.

(1)

Bonfante, Guillaume. editor.

(1)

Bordbar, Behzad. editor.

(1)

Borgida, Alexander T. editor.

(1)

Borrmann, André. editor.

(1)

Böckle, Günter. author.

(1)

Cabot, Jordi. editor.

(1)

Calinescu, Radu. editor.

(1)

Chaudhri, Vinay K. editor.

(1)

Chen, Chunyang. author.

(1)

Cheng, Betty H.C. editor.

(1)

Choppy, Christine. editor.

(1)

Churchill, Elizabeth F. author.

(1)

Coecke, Bob. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Davies, Jim. editor.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Derrick, John. author.

(1)

Düsterhöft, Antje. editor.

(1)

Edwards, Stephen H. editor.

(1)

Fetzer, Christof. editor.

(1)

Ganter, Bernhard. editor.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Gervais, Marie-Pierre. editor.

(1)

Gheyi, Rohit. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Giorgini, Paolo. editor.

(1)

Gorp, Pieter. editor.

(1)

Hofmann, Martin. editor.

(1)

Huth, Michael. author.

(1)

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jackson, Ethan. editor.

(1)

Jeffery, Ross. author.

(1)

Jelasity, Márk. editor.

(1)

Kindler, Ekkart. editor.

(1)

Klettke, Meike. editor.

(1)

Koch, Christian. editor.

(1)

Kolovos, Dimitris. editor.

(1)

Kreische, David. editor.

(1)

Kuester, Jochen M. editor.

(1)

Kuich, Werner. editor.

(1)

Kulczycki, Gregory. editor.

(1)

König, Markus. editor.

(1)

Kühne, Thomas. editor.

(1)

Lafourcade, Pascal. editor.

(1)

Leonardi, Stefano. editor.

(1)

Linden, Frank. author.

(1)

MacCaull, Wendy. editor.

(1)

Marwedel, Peter. author.

(1)

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556

(1)

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

(1)

Mendling, Jan. author.

(1)

Miri, Ali. editor.

(1)

Montresor, Alberto. editor.

(1)

Moorsel, Aad. editor.

(1)

Morgan, Carroll. editor.

(1)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Naumann, David. editor.

(1)

Ober, Iulian. editor.

(1)

Oliveira, Marcel Vinícius Medeiros. editor.

(1)

Panangaden, Prakash. editor.

(1)

Paule, Peter. editor.

(1)

Pawlak, Renaud. author.

(1)

Perseil, Isabelle. editor.

(1)

Pfenning, Frank. editor.

(1)

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952

(1)

Pohl, Klaus. author.

(1)

Rahonis, George. editor.

(1)

Raynal, Michel. author.

(1)

Retaillé, Jean-Philippe. author.

(1)

Ritter, Frank E. author.

(1)

Ritter, Tom. editor.

(1)

Rooney, Alistair. author.

(1)

Rose, Louis M. editor.

(1)

Rubin, Julia. editor.

(1)

Rüthing, Oliver. author.

(1)

Salaün, Gwen. editor.

(1)

Sannella, Donald. author.

(1)

Sassone, Vladimiro. editor.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schieferdecker, Ina. editor.

(1)

Seidl, Helmut. editor.

(1)

Seidl, Martina. editor.

(1)

Seinturier, Lionel. author.

(1)

Selic, Bran. editor.

(1)

Silva, Leila. editor.

(1)

Sokolsky, Oleg. editor.

(1)

Steen, Maarten. editor.

(1)

Steffen, Bernhard. author.

(1)

Stumme, Gerd. editor.

(1)

Störrle, Harald. editor.

(1)

Tarlecki, Andrzej. author.

(1)

Tawbi, Nadia. editor.

(1)

Terrier, François. editor.

(1)

Tolvanen, Juha-Pekka. editor.

(1)

Trendowicz, Adam. author.

(1)

Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618

(1)

Vallecillo, Antonio. editor.

(1)

Vogel, Régis. editor.

(1)

Wakshal, Eliyahu. author.

(1)

Wang, Yingxu., author.

(1)

Warmer, Jos. editor.

(1)

Weber, Jens. editor.

(1)

Wegman, Edward J. author.

(1)

Wille, Rudolf. editor.

(1)

Woodcock, Jim. editor.

(1)

Yu, Eric S. editor.

(1)

Zeitoun, David G. author.

(1)

Zincir-Heywood, Nur. editor.

(1)

Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637

(1)

van der Aa, Han. author.

(1)

Language

(63)

Publication Date

-

(8)

(8)

(7)

(7)

(6)

(6)

(6)

(4)

(4)

(3)

(3)

(1)

Subject

Computer science.

(51)

(31)

Information Systems.

(16)

Artificial intelligence.

(9)

Computer Communication Networks.

(7)

Computer network architectures.

(7)

Information systems.

(7)

Management information systems.

(7)

Computer software.

(6)

Computer system performance.

(4)

Information theory.

(4)

Computer vision.

(3)

Database management.

(3)

Information storage and retrieval systems.

(3)

Logics and Meanings of Programs.

(3)

Programming Languages, Compilers, Interpreters.

(3)

Computation by Abstract Devices.

(2)

Computational complexity.

(2)

Computer graphics.

(2)

Computer industry.

(2)

Computer programming.

(2)

Computer simulation.

(2)

Information Systems Applications (incl. Internet).

(2)

Logic, Symbolic and mathematical.

(2)

Management of Computing and Information Systems.

(2)

Mathematical Logic and Formal Languages.

(2)

Programming languages (Electronic computers).

(2)

Software Engineering/Programming and Operating Systems.

(2)

Theory of Computation.

(2)

Algebra -- Data processing.

(1)

(1)

Algorithm Analysis and Problem Complexity.

(1)

(1)

Application software.

(1)

(1)

Business Information Systems.

(1)

Civil engineering.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer aided design.

(1)

Computer hardware.

(1)

Computer logic.

(1)

(1)

Data encryption (Computer science).

(1)

(1)

Data protection.

(1)

Earth Sciences.

(1)

(1)

(1)

Geoengineering, Foundations, Hydraulics.

(1)

(1)

Geophysics and Environmental Physics.

(1)

Geotechnical Engineering & Applied Earth Sciences.

(1)

Health Informatics.

(1)

Health informatics.

(1)

Human-computer interaction.

(1)

Hydraulic engineering.

(1)

(1)

Landscape/Regional and Urban Planning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

(1)

Medical records -- Data processing.

(1)

Programming Techniques.

(1)

Regional planning.

(1)

Simulation and Modeling.

(1)

Systems engineering.

(1)

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

63 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 Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Author

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

Author

Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Author

Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

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. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Author

Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Birkedal, Lars. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

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. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Author

Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

Author

France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Author

Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Author

Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Author

Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11