Search Results for Software

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Subject: Logic design.

Yazar

SpringerLink (Online service)

(856)

Voronkov, Andrei. editor.

(13)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(8)

Barthe, Gilles. editor.

(7)

Liu, Zhiming. editor.

(7)

Woodcock, Jim. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Dix, Jürgen. editor.

(6)

Stafford, Judith A. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Fages, François. editor.

(5)

Governatori, Guido. editor.

(5)

Graf, Susanne. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Palsberg, Jens. editor.

(5)

Potapov, Igor. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Huisman, Marieke. editor.

(4)

Jacko, Julie A. editor.

(4)

Leite, João. editor.

(4)

Leucker, Martin. editor.

(4)

Montanari, Ugo. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peled, Doron A. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Veith, Helmut. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Alpuente, María. editor.

(3)

Aßmann, Uwe. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Calude, Cristian S. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Derrick, John. editor.

(3)

Eekelen, Marko. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Hähnle, Reiner. editor.

(3)

Jones, Cliff B. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Koutny, Maciej. editor.

(3)

Kučera, Antonín. editor.

(3)

Leuschel, Michael. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Meseguer, José. editor.

(3)

Mezini, Mira. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Ong, Luke. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Queiroz, Ruy. editor.

(3)

Rahonis, George. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roşu, Grigore. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schätz, Bernhard. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Becker, Steffen. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bin, Eyal. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cerone, Antonio. editor.

(2)

Cervesato, Iliano. editor.

(2)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(2)

Chen, Jianer. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Dawar, Anuj. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Degano, Pierpaolo. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dignum, Virginia. editor.

(2)

Dingel, Juergen. editor.

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Drossopoulou, Sophia. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Dubois, Catherine. editor.

(2)

Durand-Lose, Jérôme. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Faber, Wolfgang. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Filipe, Joaquim. editor.

(2)

Fisher, Michael. editor.

(2)

Fitzgerald, John. editor.

(2)

Fomin, Fedor V. editor.

(2)

France, Robert B. editor.

(2)

Fraser, Gordon. editor.

(2)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(2)

Galmiche, Didier. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Giese, Holger. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gnesi, Stefania. editor.

(2)

Gogolla, Martin. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

(2)

Gotzhein, Reinhard. editor.

(2)

Gray, Jeff. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Gruhn, Volker. editor.

(2)

Grumberg, Orna. editor.

(2)

Gschwind, Thomas. editor.

(2)

Hage, Jurriaan. editor.

(2)

Hanus, Michael. editor.

(2)

Harrison, Michael D. editor.

(2)

Hermanns, Holger. editor.

(2)

Hierons, Robert M. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hinchey, Mike. editor.

(2)

Hinze, Ralf. editor.

(2)

Holcombe, Mike. editor.

(2)

Horváth, Zoltán. editor.

(2)

Hu, Zhenjiang. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Imam, Neena. editor. (orcid)0000-0001-8860-4738

(2)

Tümünü genişlet

Dil

(852)

(4)

Yayın Yılı

-

(104)

(98)

(94)

(90)

(87)

(78)

(76)

(74)

(69)

(69)

(15)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(821)

Software engineering.

(742)

Computer Communication Networks.

(246)

Artificial intelligence.

(234)

Computer software.

(201)

Information Systems.

(95)

Logics and Meanings of Programs.

(87)

Computational complexity.

(70)

Operating systems (Computers).

(70)

Programming Languages, Compilers, Interpreters.

(45)

Information systems.

(44)

Computer system performance.

(43)

Computer simulation.

(42)

Mathematical Logic and Formal Languages.

(42)

Data structures (Computer science).

(41)

Computer network architectures.

(33)

Algebra -- Data processing.

(32)

Information theory.

(27)

Information storage and retrieval systems.

(23)

Artificial Intelligence (incl. Robotics).

(22)

Algorithm Analysis and Problem Complexity.

(21)

Programming Techniques.

(21)

Computation by Abstract Devices.

(20)

Data protection.

(17)

Multimedia systems.

(17)

Electronic data processing.

(15)

(13)

Information Systems Applications (incl. Internet).

(13)

Management of Computing and Information Systems.

(12)

Bioinformatics.

(11)

(10)

(10)

Computer industry.

(10)

Computer hardware.

(9)

Database management.

(9)

Discrete Mathematics in Computer Science.

(9)

Management information systems.

(9)

Data encryption (Computer science).

(8)

Logic, Symbolic and mathematical.

(7)

Computer security.

(6)

Computer organization.

(5)

Operating Systems.

(5)

Programming languages (Electronic computers).

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

(4)

Data structures (Computer scienc.

(4)

Microprocessors.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Computer Appl. in Administrative Data Processing.

(3)

Computer vision.

(3)

(3)

(3)

(3)

Information Storage and Retrieval.

(3)

Microprogramming.

(3)

Monoclonal antibodies.

(3)

Optical pattern recognition.

(3)

Probability and Statistics in Computer Science.

(3)

Telecommunication.

(3)

Translators (Computer programs).

(3)

Architecture, Computer.

(2)

Business Information Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computer Science, general.

(2)

Computer aided design.

(2)

Data Mining and Knowledge Discovery.

(2)

Mathematics of Computing.

(2)

(2)

Microprogramming .

(2)

Social sciences -- Data processing.

(2)

Systems and Data Security.

(2)

Systems engineering.

(2)

Text processing (Computer science.

(2)

(1)

Application software.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer communication systems.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Control Structures and Microprogramming.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

(1)

Economics/Management Science.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Input-output equipment (Computers).

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Memory management (Computer scie.

(1)

Models and Principles.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Optical data processing.

(1)

Pattern Recognition.

(1)

Pattern recognition.

(1)

Processor Architectures.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

856 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 72

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

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

1.

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings için kapak resmi

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Yazar

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334743.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Yazar

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334069.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Yazar

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334096.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Yazar

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings için kapak resmi

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Yazar

Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334821.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Foundations of Algebraic Specification and Formal Software Development için kapak resmi

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings için kapak resmi

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Yazar

Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings için kapak resmi

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Yazar

Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings için kapak resmi

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Yazar

Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 72

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11