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

|

|

|

|

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:

+

Publication Date: 2009

+

Subject: Logic design.

Author

SpringerLink (Online service)

(98)

Chen, Jianer. editor.

(2)

Governatori, Guido. editor.

(2)

Hofmeister, Christine. editor.

(2)

Palsberg, Jens. editor.

(2)

Peled, Doron A. editor.

(2)

Wolf, Karsten. editor.

(2)

Albers, Susanne. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alfaro, Luca. editor.

(1)

Alpuente, María. editor.

(1)

Alt, Helmut. editor.

(1)

Apt, Krzysztof R. author.

(1)

Baker, Paul. editor.

(1)

Baldoni, Matteo. editor.

(1)

Barkalov, Alexander. author.

(1)

Barthe, Gilles. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berardi, Stefano. editor.

(1)

Bergel, Alexandre. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bertacco, Valeria. author.

(1)

Bilgic, Attila. editor.

(1)

Birattari, Mauro. editor.

(1)

Boer, Frank S. author.

(1)

Boer, Frank S. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bournez, Olivier. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Bravetti, Mario. editor.

(1)

Bruni, Roberto. editor.

(1)

Bry, François. editor.

(1)

Cao, Longbing. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chang, Kai-hui. author.

(1)

Charatonik, Witold. editor.

(1)

Chechik, Marsha. editor.

(1)

Chemello, Gaetano. editor.

(1)

Chockler, Hana. editor.

(1)

Cofer, Darren. editor.

(1)

Cook, Byron. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corradini, Andrea. editor.

(1)

Curien, Pierre-Louis. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Dams, Dennis R. editor.

(1)

Datta, Anupam. editor.

(1)

Dediu, Adrian Horia. editor.

(1)

Dong, Yingfei. editor.

(1)

Dowek, Gilles. author.

(1)

Drossopoulou, Sophia. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dubey, Rahul. author.

(1)

Dubois, Catherine. editor.

(1)

Eiter, Thomas. editor.

(1)

Emer, Joel. editor.

(1)

Erdem, Esra. editor.

(1)

Eugster, Patrick. editor.

(1)

Fabry, Johan. editor.

(1)

Fages, François. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Fisher, Michael. editor.

(1)

Fomin, Fedor V. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franconi, Enrico. editor.

(1)

Frid, Anna. editor.

(1)

Gent, Ian P. editor.

(1)

Ghilardi, Silvio. editor.

(1)

Ghose, Aditya. editor.

(1)

Gomez-Sanz, Jorge J. editor.

(1)

Gorodetsky, Vladimir. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Grumberg, Orna. editor.

(1)

Grädel, Erich. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Gębala, Maciej. editor.

(1)

Hall, John. editor.

(1)

Hall, Stephen H.

(1)

Handschuh, Siegfried. editor.

(1)

Hanus, Michael. editor.

(1)

Hartman, Alan. editor.

(1)

He, Xiangdong. editor.

(1)

Heck, Howard L.

(1)

Hill, Patricia M. editor.

(1)

Hindriks, Koen V. editor.

(1)

Hoos, Holger H. editor.

(1)

Horty, John. editor.

(1)

Hu, Alan J. editor.

(1)

Hu, Zhenjiang. editor.

(1)

Ibarra, Oscar. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Ionescu, Armand Mihai. editor.

(1)

Jaoua, Ali Mohamed. editor.

(1)

Jay, Barry. author.

(1)

Jones, Neil D. editor.

(1)

Joubert, Christophe. editor.

(1)

Kaeli, David. editor.

(1)

Kahle, Reinhard. editor.

(1)

Kaklamanis, Christos. editor.

(1)

Kaminski, Michael. editor.

(1)

Katz, Shmuel. editor.

(1)

Kohlas, Jürg. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Královič, Rastislav. editor.

(1)

Kurz, Alexander. editor.

(1)

Kutyłowski, Mirosław. editor.

(1)

Lalanne, Denis. editor.

(1)

Lee, David. editor.

(1)

Lenisa, Marina. editor.

(1)

Leuschel, Michael. editor.

(1)

Lewis, Grace A. editor.

(1)

Lin, Fangzhen. editor.

(1)

Liu, Jiming. editor.

(1)

Liu, Zhiming. editor.

(1)

Lopes, Antónia. editor.

(1)

Luck, Michael. editor.

(1)

Lukose, Dickson. editor.

(1)

Madelaine, Eric. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maler, Oded. editor.

(1)

Maneth, Sebastian. editor.

(1)

Markov, Igor L. author.

(1)

Martonosi, Margaret. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Małuszyński, Jan. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Montanari, Ugo. editor.

(1)

Monteiro, José. editor.

(1)

Moor, Oege. editor.

(1)

Morozov, Andrey. editor.

(1)

Möller, Bernhard. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Narukawa, Yasuo. editor.

(1)

Nielson, Flemming. editor.

(1)

Nipkow, Tobias. editor.

(1)

Niwiński, Damian. editor.

(1)

Näher, Stefan. editor.

(1)

Núñez, Manuel. editor.

(1)

Oddi, Angelo. editor.

(1)

Olderog, Ernst-Rüdiger. author.

(1)

Oliveira, Marcel Vinícius Medeiros. editor.

(1)

Ouaknine, Joël. editor.

(1)

O’Boyle, Michael. editor.

(1)

Pacuit, Eric. editor.

(1)

Paige, Richard F. editor.

(1)

Paschke, Adrian. editor.

(1)

Philippou, Anna. editor.

(1)

Poernomo, Iman. editor.

(1)

Poetzsch-Heffter, Arnd. editor.

(1)

Pokahr, Alexander. editor.

(1)

Posthoff, Christian. author.

(1)

Potapov, Igor. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Rahonis, George. editor.

(1)

Ravi, S. S. editor.

(1)

Ravn, Anders P. editor.

(1)

Reed, Rick. editor.

(1)

Rensink, Arend. editor.

(1)

Riemsdijk, M. Birna. editor.

(1)

Roosmalen, Alfred. editor.

(1)

Rossi, Francesca. editor.

(1)

Rousset, Marie-Christine. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Sachs, Kai. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Sadri, Fariba. editor.

(1)

Sardina, Sebastian. editor.

(1)

Schaub, Torsten. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schwartzbach, Michael I. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Sebastiani, Roberto. editor.

(1)

Seznec, André. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Shukla, Sandeep K. editor.

(1)

Son, Tran Cao. editor.

(1)

Sossai, Claudio. editor.

(1)

Steinbach, Bernd. author.

(1)

Stenström, Per. editor.

(1)

Sterpone, Luca. author.

(1)

Stützle, Thomas. editor.

(1)

Su, Zhendong. editor.

(1)

Svensson, Lars. editor.

(1)

Tabuada, Paulo. editor.

(1)

Taha, Walid Mohamed. editor.

(1)

Tarlecki, Andrzej. editor.

(1)

Tessaris, Sergio. editor.

(1)

Thielscher, Michael. editor.

(1)

Titarenko, Larysa. author.

(1)

Torra, Vicenç. editor.

(1)

Treinen, Ralf. editor.

(1)

Turner, Raymond. author.

(1)

Ungerer, Theo. editor.

(1)

Language

(98)

Subject

Computer science.

(93)

Software engineering.

(55)

Computer software.

(27)

Artificial intelligence.

(19)

Computer Communication Networks.

(18)

Information theory.

(17)

Computational complexity.

(16)

Algebra -- Data processing.

(13)

Information Systems.

(7)

Systems engineering.

(7)

Computer system performance.

(6)

Logic, Symbolic and mathematical.

(6)

Operating systems (Computers).

(6)

Data structures (Computer science).

(5)

(5)

(4)

Computer simulation.

(4)

(4)

Data protection.

(4)

Electronic data processing.

(4)

Information systems.

(4)

(3)

Computer network architectures.

(3)

Microprogramming.

(3)

Computer aided design.

(2)

Data transmission systems.

(2)

(2)

Memory management (Computer science).

(2)

(1)

Computer vision.

(1)

Control engineering systems.

(1)

Data encryption (Computer science).

(1)

Digital electronics.

(1)

Electronic books.

(1)

Management information systems.

(1)

(1)

Multimedia systems.

(1)

Nanotechnology.

(1)

Signal integrity (Electronics)

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Digital.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.

(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

99 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 Electronics System Design Techniques for Safety Critical Applications

Electronics System Design Techniques for Safety Critical Applications

Electronics System Design Techniques for Safety Critical Applications

Author

Sterpone, Luca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8979-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Author

Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9365-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Logic Functions and Equations Examples and Exercises

Logic Functions and Equations Examples and Exercises

Logic Functions and Equations Examples and Exercises

Author

Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9595-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Author

Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Transactions on High-Performance Embedded Architectures and Compilers II

Transactions on High-Performance Embedded Architectures and Compilers II

Transactions on High-Performance Embedded Architectures and Compilers II

Author

Stenström, Per. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Author

Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Alfaro, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Author

Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00602-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 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11