Search Results for

|

|

|

|

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:

+

Language: English

+

Publication Date: 2010

+

Subject: Computer science.

+

Subject: Logic design.

Author

SpringerLink (Online service)

(109)

Dix, Jürgen. editor.

(3)

Voronkov, Andrei. editor.

(3)

Calude, Cristian S. editor.

(2)

Dawar, Anuj. editor.

(2)

Fraser, Gordon. editor.

(2)

Governatori, Guido. editor.

(2)

Kučera, Antonín. editor.

(2)

Margaria, Tiziana. editor.

(2)

Plasil, Frantisek. editor.

(2)

Plasmeijer, Rinus. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Schäfer, Wilhelm. editor.

(2)

Schürr, Andy. editor.

(2)

Steffen, Bernhard. editor.

(2)

Timmis, Jon. editor.

(2)

Ablayev, Farid. editor.

(1)

Aldini, Alessandro. editor.

(1)

Aloni, Maria. editor.

(1)

Arbab, Farhad. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Baldoni, Matteo. editor.

(1)

Barringer, Howard. editor.

(1)

Barthe, Gilles. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Baudry, Benoît. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Bentahar, Jamal. editor.

(1)

Bernardo, Marco. editor.

(1)

Blass, Andreas. editor.

(1)

Blesa, María J. editor.

(1)

Blum, Christian. editor.

(1)

Blume, Matthias. editor.

(1)

Boer, Frank S. editor.

(1)

Bolduc, Claude. editor.

(1)

Bonanno, Giacomo. editor.

(1)

Bononi, Luciano. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Borba, Paulo. editor.

(1)

Bottaci, Leonardo. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Brand, Mark. editor.

(1)

Butterfield, Andrew. editor.

(1)

Carro, Manuel. editor.

(1)

Casimiro, Antonio. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chen, Danny Z. editor.

(1)

Chin, Wei-Ngan. editor.

(1)

Clarke, Edmund M. editor.

(1)

Cohen, David. editor.

(1)

Cook, Byron. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Dams, Dennis. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Desharnais, Jules. editor.

(1)

Dovier, Agostino. editor.

(1)

Duesterwald, Evelyn. editor.

(1)

D’Hondt, Theo. editor.

(1)

Ebert, Christian. editor.

(1)

Echtle, Klaus. editor.

(1)

Eekelen, Marko. editor.

(1)

Ehrig, Hartmut. editor.

(1)

Engels, Gregor. editor.

(1)

England, David. editor.

(1)

Escobar, Santiago. editor.

(1)

Esparza, Javier. editor.

(1)

Falcone, Ylies. editor.

(1)

Faraboschi, Paolo. editor.

(1)

Fermüller, Christian G. editor.

(1)

Fernau, Henning. editor.

(1)

Fiala, Jiří. editor.

(1)

Finkbeiner, Bernd. editor.

(1)

Fisher, Michael. editor.

(1)

Foglia, Pierfrancesco. editor.

(1)

Frappier, Marc. editor.

(1)

Gacek, Cristina. editor.

(1)

Gao, Yuan. editor.

(1)

Gargantini, Angelo. editor.

(1)

Gastin, Paul. editor.

(1)

Gašević, Dragan. editor.

(1)

Gervais, Marie-Pierre. editor.

(1)

Ghosh, Sudipto. editor.

(1)

Giesl, Jürgen. editor.

(1)

Glässer, Uwe. editor.

(1)

Gogolla, Martin. editor.

(1)

González-Pérez, César. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorton, Ian. editor.

(1)

Gray, Jeff. editor.

(1)

Grunske, Lars. editor.

(1)

Hagiya, Masami. editor.

(1)

Hallerstede, Stefan. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Hatcliff, John. editor.

(1)

Havelund, Klaus. editor.

(1)

Heineman, George T. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermenegildo, Manuel. editor.

(1)

Hinchey, Mike. editor.

(1)

Hliněný, Petr. editor.

(1)

Hoek, Wiebe. editor.

(1)

Horváth, Zoltán. editor.

(1)

Hull, Richard. editor.

(1)

Hutter, Marcus. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jablonski, Stefan. editor.

(1)

Jackson, Paul. editor.

(1)

Jager, Tikitu. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Janhunen, Tomi. editor.

(1)

Janowski, Tomasz. editor.

(1)

Jäger, Gerhard. editor.

(1)

Katz, Shmuel. editor.

(1)

Kaufmann, Matt. editor.

(1)

Khurshid, Sarfraz. editor.

(1)

Kienzle, Jörg. editor.

(1)

Kitzelmann, Emanuel. editor.

(1)

Kleinjohann, Bernd. editor.

(1)

Kleinjohann, Lisa. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Kofron, Jan. editor.

(1)

Kolman, Petr. editor.

(1)

Kornai, András. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kratochvíl, Jan. editor.

(1)

Ktari, Béchir. editor.

(1)

Kühne, Thomas. editor.

(1)

Laleau, Régine. editor.

(1)

Laroussinie, François. editor.

(1)

Leavens, Gary T. editor.

(1)

Lee, Der-Tsai. editor.

(1)

Lee, Insup. editor.

(1)

Lee, Mong Li. editor.

(1)

Leite, João. editor.

(1)

Lemos, Rogério. editor.

(1)

Leuken, René. editor.

(1)

Leuschel, Michael. editor.

(1)

Lewerentz, Claus. editor.

(1)

Li, Angsheng. editor.

(1)

Lilius, Johan. editor.

(1)

Lindsay, Peter A. editor.

(1)

Link, Sebastian. editor.

(1)

Lloyd, John. editor.

(1)

Lu, Hanlin. editor.

(1)

Luo, Qi. editor.

(1)

Löwe, Benedikt. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maldonado, José Carlos. editor.

(1)

Manna, Zohar. editor.

(1)

Martorell, Xavier. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mayr, Ernst W. editor.

(1)

Mendling, Jan. editor.

(1)

Merz, Stephan. editor.

(1)

Metzger, Andreas. editor.

(1)

Mezini, Mira. editor.

(1)

Michaelis, Jens. editor.

(1)

Miller, Julian F. editor.

(1)

Mohanty, Hrushikesha. editor.

(1)

Montali, Marco. author.

(1)

Monteiro, José. editor.

(1)

Morita, Kenichi. editor.

(1)

Méry, Dominique. editor.

(1)

Müller, Peter. editor.

(1)

Müller-Clostermann, Bruno. editor.

(1)

Münch, Jürgen. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Novák, Peter. editor.

(1)

Ong, Luke. editor.

(1)

O’Hearn, Peter. editor.

(1)

Pace, Gordon. editor.

(1)

Palanque, Philippe. editor.

(1)

Papazoglou, Mike P. editor.

(1)

Parkin, Michael. editor.

(1)

Parsons, Jeffrey. editor.

(1)

Patt, Yale N. editor.

(1)

Paulson, Lawrence C. editor.

(1)

Peled, Doron A. editor.

(1)

Penczek, Wojciech. editor.

(1)

Petrenko, Alexandre. editor.

(1)

Peña, Ricardo. editor.

(1)

Platzer, André. author.

(1)

Pnueli, Amir. editor.

(1)

Pohl, Klaus. editor.

(1)

Pol, Jaco. editor.

(1)

Pontelli, Enrico. editor.

(1)

Potapov, Igor. editor.

(1)

Prade, Henri. editor.

(1)

Puppis, Gabriele. author.

(1)

Qin, Shengchao. editor.

(1)

Queiroz, Ruy. editor.

(1)

Raedt, Luc. editor.

(1)

Raidl, Günther. editor.

(1)

Rajamani, Sriram K. editor.

(1)

Rammig, Franz J. editor.

(1)

Rathgeb, Erwin P. editor.

(1)

Real, Jorge. editor.

(1)

Subject

Software engineering.

(85)

Computer Communication Networks.

(41)

Artificial intelligence.

(40)

Computer software.

(32)

Information systems.

(19)

Computational complexity.

(13)

Information Systems.

(7)

Information theory.

(6)

Algebra -- Data processing.

(4)

Data structures (Computer science).

(4)

Information storage and retrieval systems.

(4)

Computer simulation.

(3)

(3)

Monoclonal antibodies.

(3)

Database management.

(2)

Operating systems (Computers).

(2)

Bioinformatics.

(1)

Computer hardware.

(1)

Data protection.

(1)

Data transmission systems.

(1)

(1)

Management information systems.

(1)

Memory management (Computer science).

(1)

Microprogramming.

(1)

Multimedia systems.

(1)

Optical pattern recognition.

(1)

Translators (Computer programs).

(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

109 Results Found

Subscribe to search results

1 2 3 4 5 .. 10

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 Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Author

Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

Author

Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Author

Puppis, Gabriele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Author

Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Gordon, Andrew D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Author

Escobar, Santiago. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

Author

Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Author

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

Author

Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11