Search Results for -- -UYGARLIK, -ORTAÇAĞ, -EDEBİYATTA.

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:

+

Publication Date: 2006

+

Subject: Logic design.

Author

SpringerLink (Online service)

(98)

Baldoni, Matteo. editor.

(2)

Bjørner, Dines. author.

(2)

Dix, Jürgen. editor.

(2)

Endriss, Ulle. editor.

(2)

Graf, Susanne. editor.

(2)

Hermanns, Holger. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Núñez, Manuel. editor.

(2)

Sichman, Jaime Simão. editor.

(2)

Stafford, Judith A. editor.

(2)

Szyperski, Clemens. editor.

(2)

Abrahamsson, Pekka. editor.

(1)

Aceto, Luca. editor.

(1)

Allemang, Dean. editor.

(1)

Aroyo, Lora M. editor.

(1)

Arun-Kumar, S. editor.

(1)

Asarin, Eugene. editor.

(1)

Azemard, Nadine. editor.

(1)

Baier, Christel. editor.

(1)

Ball, Thomas. editor.

(1)

Baresi, Luciano. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Barthe, Gilles. editor.

(1)

Benhamou, Frédéric. editor.

(1)

Bernardo, Marco. editor.

(1)

Bin, Eyal. editor.

(1)

Bjøner, Dines. author.

(1)

Boer, Frank S. editor.

(1)

Boissier, Olivier. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bouyer, Patricia. editor.

(1)

Bowman, Howard. author.

(1)

Bravetti, Mario. editor.

(1)

Broy, Manfred. editor.

(1)

Butterfield, Andrew. editor.

(1)

Carlsson, Mats. editor.

(1)

Carro, Luigi. author.

(1)

Cavalcanti, Ana. editor.

(1)

Cerone, Antonio. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Coelho, Helder. editor.

(1)

Corradini, Andrea. editor.

(1)

Correa, José R. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crnković, Ivica. editor.

(1)

Cruz, Isabel. editor.

(1)

Dang, Zhe. editor.

(1)

DasGupta, Pallab. author.

(1)

Dastani, Mehdi M. editor.

(1)

Decker, Stefan. editor.

(1)

Dignum, Frank P. M. editor.

(1)

Dignum, Virginia. editor.

(1)

Donzeau-Gouge, Véronique Viguié. editor.

(1)

Durand, Bruno. editor.

(1)

Düntsch, Ivo. editor.

(1)

Egan, Colin. editor.

(1)

Ehrig, Hartmut. author.

(1)

Ehrig, Hartmut. editor.

(1)

Ehrig, Karsten. author.

(1)

Eijk, Rogier M. editor.

(1)

Eliassen, Frank. editor.

(1)

Emerson, E. Allen. editor.

(1)

Etalle, Sandro. editor.

(1)

Fages, François. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farré, Jacques. editor.

(1)

Filliâtre, Jean-Christophe. editor.

(1)

Fliedl, Günther. editor.

(1)

Flores, Roberto. editor.

(1)

Furbach, Ulrich. editor.

(1)

Futatsugi, Kokichi. editor.

(1)

Gabbar, Hossam A. editor.

(1)

Gabbay, Dov M. editor.

(1)

Garg, Naveen. editor.

(1)

Ghanea-Hercock, Robert. editor.

(1)

Gilroy, Stephen W. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Gomez, Rodolfo. author.

(1)

Goncharov, Sergei S. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Goubin, Louis. editor.

(1)

Grelck, Clemens. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Guelfi, Nicolas. editor.

(1)

Górski, Janusz. editor.

(1)

Hagiya, Masami. editor.

(1)

Harrison, Michael D. editor.

(1)

Havelund, Klaus. editor.

(1)

He, Jifeng. editor.

(1)

Heckel, Reiko. editor.

(1)

Hegner, Stephen J. editor.

(1)

Heineman, George T. editor.

(1)

Hentenryck, Pascal. editor.

(1)

Hermann, Miki. editor.

(1)

Hespanha, João P. editor.

(1)

Hevia, Alejandro. editor.

(1)

Hill, Patricia M. editor.

(1)

Hnich, Brahim. editor.

(1)

Hofmeister, Christine. editor.

(1)

Horváth, András. editor.

(1)

Huch, Frank. editor.

(1)

Huisman, Marieke. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jesshope, Chris. editor.

(1)

Johnson, Michael. editor.

(1)

Jones, Robert B. editor.

(1)

Jouannaud, Jean-Pierre. editor.

(1)

Julliand, Jacques. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Karttunen, Lauri. editor.

(1)

Kastensmidt, Fernanda Lima. author.

(1)

Kiwi, Marcos. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Kobayashi, Satoshi. editor.

(1)

Kop, Christian. editor.

(1)

Kouchnarenko, Olga. editor.

(1)

Královič, Rastislav. editor.

(1)

Krüger, Ingolf H. editor.

(1)

Lanet, Jean-Louis. editor.

(1)

Liebig, Hans. author.

(1)

Lienig, Jens. author.

(1)

Lightfoot, David E. editor.

(1)

Lindemann, Gabriela. editor.

(1)

Litovsky, Igor. editor.

(1)

Liu, Zhiming. editor.

(1)

Löwe, Welf. editor.

(1)

MacCaull, Wendy. editor.

(1)

Marchesi, Michele. editor.

(1)

Margaria, Tiziana. editor.

(1)

Matson, Eric. editor.

(1)

Matsui, Mitsuru. editor.

(1)

Maurine, Philippe. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Meisinger, Michael. editor.

(1)

Meseguer, José. editor.

(1)

Mika, Peter. editor.

(1)

Mills, Bruce. author.

(1)

Misra, Jayadev. editor.

(1)

Mizoguchi, Riichiro. editor.

(1)

Montanari, Ugo. editor.

(1)

Montresor, Alberto. editor.

(1)

Mycroft, Alan. editor.

(1)

Métais, Elisabeth. editor.

(1)

Müller, Jörg P. editor.

(1)

Müller-Olm, Markus. author.

(1)

Najm, Elie. editor.

(1)

Namjoshi, Kedar S. editor.

(1)

Nipkow, Tobias. editor.

(1)

Nishino, Tetsuro. editor.

(1)

Omicini, Andrea. editor.

(1)

Ossowski, Sascha. editor.

(1)

Padget, Julian. editor.

(1)

Palsberg, Jens. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pfenning, Frank. editor.

(1)

Pradat-Peyre, Jean-François. editor.

(1)

Prange, Ulrike. author.

(1)

Preist, Chris. editor.

(1)

Reed, Rick. editor.

(1)

Reis, Ricardo. author.

(1)

Rensink, Arend. editor.

(1)

Reussner, Ralf H. editor.

(1)

Reussner, Ralf. editor.

(1)

Rezende, Solange Oliveira. editor.

(1)

Ribeiro, Leila. editor.

(1)

Roever, Willem-Paul. editor.

(1)

Rossi, Francesca. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Roşu, Grigore. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Sakakibara, Yasubumi. editor.

(1)

Sato, Kengo. editor.

(1)

Savidis, Anthony. editor.

(1)

Schmidt, Heinz W. editor.

(1)

Schmitz, Sylvain. editor.

(1)

Schwabe, Daniel. editor.

(1)

Sekerinski, Emil. editor.

(1)

Sestoft, Peter. editor.

(1)

Shankar, Natarajan. editor.

(1)

Shi, Zhong-Zhi. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Steffen, Bernhard. editor.

(1)

Succi, Giancarlo. editor.

(1)

Szyperski, Clemens A. editor.

(1)

Südholt, Mario. editor.

(1)

Taentzer, Gabriele. author.

(1)

Telek, Miklós. editor.

(1)

Thomas, Dave. editor.

(1)

Thomas, Wolfgang. editor.

(1)

Thompson, Simon G. editor.

(1)

Tiwari, Ashish. editor.

(1)

Tomita, Etsuji. editor.

(1)

Torroni, Paolo. editor.

(1)

Truszczyński, Mirosław. editor.

(1)

Ur, Shmuel. editor.

(1)

Language

(96)

(2)

Subject

Computer science.

(96)

Software engineering.

(65)

Computer Communication Networks.

(30)

Artificial intelligence.

(29)

Computer software.

(11)

Operating systems (Computers).

(11)

Information Systems.

(9)

Computational complexity.

(8)

Algebra -- Data processing.

(6)

Data structures (Computer science).

(5)

Information storage and retrieval systems.

(5)

Information systems.

(5)

Computer system performance.

(4)

(4)

Electronic data processing.

(3)

(3)

Information theory.

(3)

Systems engineering.

(3)

Computer aided design.

(2)

Computer simulation.

(2)

Database management.

(2)

Logic, Symbolic and mathematical.

(2)

Multimedia systems.

(2)

Text processing (Computer science.

(2)

Translators (Computer programs).

(2)

(1)

Chemistry -- Mathematics.

(1)

(1)

(1)

Computer network architectures.

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

(1)

(1)

Memory management (Computer science).

(1)

Optical materials.

(1)

Telecommunication.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

98 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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 Mathematical Problems from Applied Logic I Logics for the XXIst Century

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Author

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Author

DasGupta, Pallab. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-4758-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Author

Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-336-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Author

Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11940197

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

Author

Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11951148

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Theoretical Introduction to Programming

Theoretical Introduction to Programming

Theoretical Introduction to Programming

Author

Mills, Bruce. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-263-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

Author

Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11682462

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Author

Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11683704

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Author

Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11690634

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Author

Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11688839

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Author

Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11693017

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11