Search Results for System theory.

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

English
Türkçe

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Compilers (Computer programs).

Yazar

SpringerLink (Online service)

(132)

Bernardo, Marco. editor.

(6)

Dongarra, Jack. editor.

(4)

Hoffmann, Frank. editor.

(3)

Hüllermeier, Eyke. editor.

(3)

Kruse, Rudolf. editor.

(3)

Bensalem, Saddek. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Giese, Holger. editor.

(2)

Gotzhein, Reinhard. editor.

(2)

Jalote, Pankaj. author.

(2)

Jeannot, Emmanuel. editor.

(2)

Jhala, Ranjit. editor.

(2)

König, Barbara. editor.

(2)

Leucker, Martin. editor.

(2)

Margaria, Tiziana. editor.

(2)

Müller, Matthias S. editor.

(2)

Namyst, Raymond. editor.

(2)

Peña, Ricardo. editor.

(2)

Reed, Rick. editor.

(2)

Roman, Jean. editor.

(2)

Schwartzbach, Michael I. editor.

(2)

Schätz, Bernhard. editor.

(2)

Shao, Zhong. editor.

(2)

Steffen, Bernhard. editor.

(2)

Torroni, Paolo. editor.

(2)

Wiklicky, Herbert. editor.

(2)

van der Torre, Leon. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Agha, Gul. editor.

(1)

Agotnes, Thomas. editor.

(1)

Ait Mohamed, Otmane. editor.

(1)

Ajmone Marsan, Marco. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alt, Oliver. author.

(1)

Ardagna, Claudio Agostino. author.

(1)

Arenas, Marcelo. editor.

(1)

Arun-Kumar, S. editor.

(1)

Bacardit, Jaume. editor.

(1)

Baier, Christel. editor.

(1)

Barthe, Gilles. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Bernadó-Mansilla, Ester. editor.

(1)

Bierman, Gavin. editor.

(1)

Bjørner, Dines. author.

(1)

Boella, Guido. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boulé, Marc. author.

(1)

Branco, António. editor.

(1)

Brim, Lubos. editor.

(1)

Broy, Manfred. editor.

(1)

Bruni, Roberto. editor.

(1)

Butler, Michael. editor.

(1)

Butz, Martin V. editor.

(1)

Caires, Luís. editor.

(1)

Capello, Franck. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cerami, Ethan. author.

(1)

Chan, Keith. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chapman, Barbara. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chitil, Olaf. editor.

(1)

Ciancarini, Paolo. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Clavel, Manuel. author.

(1)

Cohen, Albert. editor.

(1)

Colnaric, Matjaž. author.

(1)

Croitoru, Madalina. editor.

(1)

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

(1)

Damiani, Ernesto. author. (orcid)0000-0002-9557-6496

(1)

Damiani, Ferruccio. editor.

(1)

Dams, Dennis. editor.

(1)

Danvy, Olivier. editor.

(1)

Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087

(1)

De Bosschere, Koen. editor.

(1)

De Nicola, Rocco. editor.

(1)

Dediu, Adrian Horia. editor.

(1)

Denecke, Klaus. author.

(1)

Di Martino, Beniamino. editor.

(1)

Di Pierro, Alessandra. editor. (orcid)0000-0003-4173-7941

(1)

Dingel, Juergen. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Dunne, Steve. editor.

(1)

Durán, Francisco. author.

(1)

Düsterhöft, Antje. editor.

(1)

Eker, Steven. author.

(1)

El Ioini, Nabil. author.

(1)

Engels, Gregor. editor.

(1)

Esparza, Javier. editor.

(1)

Fahrenberg, Uli. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fernau, Henning. editor.

(1)

Ferré, Sébastien. editor.

(1)

Fisher, Michael. editor.

(1)

Flanagan, Cormac. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Fuchs, Norbert E. editor.

(1)

Gardner, Philippa. editor.

(1)

Garg, Naveen. editor.

(1)

Garrigue, Jacques. editor.

(1)

Gastin, Paul. editor.

(1)

George, Laurent. editor.

(1)

Gordon, Andrew. editor.

(1)

Governatori, Guido. editor.

(1)

Graf, Susanne. editor.

(1)

Gruenbauer, Johannes. editor.

(1)

Grätzer, George. author.

(1)

Haehnle, Reiner. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Harel, David. editor.

(1)

Haugen, Oystein. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Haverkort, Boudewijn. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Herault, Thomas. editor.

(1)

Hermanns, Holger. editor.

(1)

Hillston, Jane. editor.

(1)

Hinze, Ralf. editor.

(1)

Hoare, Tony. editor.

(1)

Holt, Alan. author.

(1)

Horacek, Helmut. editor.

(1)

Horimoto, Katsuhisa. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Issarny, Valerie. editor.

(1)

Jard, Claude. editor.

(1)

Johnsen, Einar Broch. editor. (orcid)0000-0001-5382-3949

(1)

Jones, Cliff. editor.

(1)

Jurdzinski, Marcin. editor.

(1)

Karsai, Gabor. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kechadi, Tahar. editor.

(1)

Klautau, Aldebaro. editor.

(1)

Kleijn, Jetty. editor.

(1)

Klettke, Meike. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Koch, Christoph. editor.

(1)

Koppitz, Jörg. author.

(1)

Kordon, Fabrice. editor.

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kovacs, Tim. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

Kreowski, Hans-Jörg. editor.

(1)

Kristensen, Lars M. editor.

(1)

Kröger, Fred. author.

(1)

Lakhnech, Yassine. editor.

(1)

Laroussinie, Francois. editor.

(1)

Larsson Träff, Jesper. editor.

(1)

Lastovetsky, Alexey. editor.

(1)

Le Goues, Claire. editor.

(1)

Lee, Edward A. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, Joao. editor.

(1)

Leite, João. editor.

(1)

Leue, Stefan. editor.

(1)

Lightfoot, David. editor.

(1)

Lincoln, Patrick. author.

(1)

Lingras, Pawan. editor.

(1)

Llorà, Xavier. editor.

(1)

Lukose, Dickson. editor.

(1)

Lèbre, Sophie. author.

(1)

Majumdar, Rupak. editor.

(1)

Maldonado, José Carlos. editor.

(1)

Martin-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Martí-Oliet, Narciso. author.

(1)

Massaioli, Federico. editor.

(1)

McIver, Annabelle. author.

(1)

Merino, Pedro. editor.

(1)

Merz, Stephan. author.

(1)

Meseguer, José. author.

(1)

Meseguer, José. editor.

(1)

Metais, Elisabeth. editor.

(1)

Miao, Duoqian. editor. (orcid)0000-0001-6588-1468

(1)

Mohr, Bernd. editor.

(1)

Montanari, Ugo. editor.

(1)

Morgan, Charles Carroll. author.

(1)

Munoz, César. editor.

(1)

Munoz, Rafael. editor.

(1)

Murphy, Amy L. editor.

(1)

Mycroft, Alan. editor.

(1)

Nagarajan, Radhakrishnan. author.

(1)

Nakatsui, Masahiko. editor.

(1)

Nickovic, Dejan. editor.

(1)

Nordström, Bengt. editor.

(1)

Opdyke, Bill. editor.

(1)

Orejas, Fernando. editor.

(1)

Ouaknine, Joel. editor.

(1)

Peled, Doron A. editor.

(1)

Perner, Petra. editor.

(1)

Petrenko, Alexandre. editor.

(1)

Pierantonio, Alfonso. editor.

(1)

Piterman, Nir. editor.

(1)

Pol, Jaco van de. editor.

(1)

Popov, Nikolaj. editor.

(1)

Puppis, Gabriele. author.

(1)

Raedt, Luc. editor.

(1)

Tümünü genişlet

Dil

(131)

(1)

Yayın Yılı

-

(20)

(18)

(15)

(15)

(13)

(12)

(11)

(10)

(9)

(9)

Tümünü genişlet

Konu

Compilers and Interpreters.

(132)

Computer science.

(104)

Software engineering.

(92)

Computer Science Logic and Foundations of Programming.

(75)

Computer programming.

(62)

Programming Techniques.

(62)

Theory of Computation.

(59)

Formal Languages and Automata Theory.

(56)

Machine theory.

(56)

Artificial intelligence.

(28)

Computer networks .

(26)

Computer Communication Networks.

(23)

Application software.

(22)

Computer and Information Systems Applications.

(22)

(15)

Operating Systems.

(15)

Operating systems (Computers).

(15)

Computers, Special purpose.

(14)

Special Purpose and Application-Based Systems.

(14)

Computer System Implementation.

(12)

Computer systems.

(12)

Database management.

(11)

Data Mining and Knowledge Discovery.

(9)

(9)

Electronic digital computers-Evaluation.

(9)

System Performance and Evaluation.

(9)

Information Storage and Retrieval.

(7)

Information storage and retrieval systems.

(7)

Information theory.

(7)

Models of Computation.

(6)

Numerical analysis.

(6)

Arithmetic and Logic Structures.

(4)

Automated Pattern Recognition.

(4)

Computer architecture.

(4)

Computer arithmetic and logic units.

(4)

Computer science-Mathematics.

(4)

Data Structures and Information Theory.

(4)

Data and Information Security.

(4)

Data protection.

(4)

Data structures (Computer science).

(4)

Pattern recognition systems.

(4)

Coding and Information Theory.

(3)

(3)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

Electronic data processing-Management.

(3)

(3)

Bioinformatics.

(2)

(2)

Data Storage Representation.

(2)

Hardware Performance and Reliability.

(2)

Information retrieval.

(2)

Microprocessors.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Processor Architectures.

(2)

Adaptive Immunity.

(1)

(1)

Artificial intelligence-Data processing.

(1)

Communications Engineering, Networks.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational and Systems Biology.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Modelling.

(1)

Computer simulation.

(1)

Computer software.

(1)

Control Structures and Microprogramming.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Control theory.

(1)

(1)

(1)

(1)

Data encryption (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering design.

(1)

(1)

General Algebraic Systems.

(1)

Group Theory and Generalizations.

(1)

(1)

Human-computer interaction.

(1)

(1)

Immunospecificity.

(1)

Information technology-Management.

(1)

Interactive multimedia.

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Software.

(1)

Mathematical statistics-Data processing.

(1)

Mathematics of Computing.

(1)

Mathematics-Data processing.

(1)

(1)

Microprogramming .

(1)

Multimedia systems.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

(1)

Probability Theory.

(1)

Statistical Theory and Methods.

(1)

Statistics and Computing.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

(1)

Systems Theory, Control .

(1)

Technology and Engineering.

(1)

Telecommunication.

(1)

Universal algebra.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Springer E-Kitap Koleksiyonu

Kütüphane

Ferit Melen Kütüphanesi

{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

132 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 11

000000000000DEFAULT

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.

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers için kapak resmi

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

by

Haugen, Oystein. editor.

https://doi.org/10.1007/978-3-642-36757-1

Format:

Alıntı:

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck

SD_ILS:151173

2.

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings için kapak resmi

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

by

George, Laurent. editor.

https://doi.org/10.1007/978-3-319-08311-7

Format:

Alıntı:

Special Purpose and Application-Based Systems.

SD_ILS:140946

3.

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings için kapak resmi

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

by

Le Goues, Claire. editor.

https://doi.org/10.1007/978-3-319-09940-8

Format:

Alıntı:

Pattern recognition systems.

SD_ILS:141003

4.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

Abraham, Erika. editor.

https://doi.org/10.1007/978-3-642-54862-8

Format:

Alıntı:

, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

SD_ILS:135748

5.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers için kapak resmi

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

by

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

https://doi.org/10.1007/978-3-319-12466-7

Format:

Alıntı:

System Performance and Evaluation.

SD_ILS:170759

6.

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings için kapak resmi

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

by

Garrigue, Jacques. editor.

https://doi.org/10.1007/978-3-319-12736-1

Format:

Alıntı:

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November

SD_ILS:171924

7.

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

Cohen, Albert. editor.

https://doi.org/10.1007/978-3-642-54807-9

Format:

Alıntı:

Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /

SD_ILS:169506

8.

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings için kapak resmi

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

by

Bensalem, Saddek. editor.

https://doi.org/10.1007/978-3-642-54848-2

Format:

Alıntı:

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor

SD_ILS:170101

9.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures için kapak resmi

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

by

Bernardo, Marco. editor.

https://doi.org/10.1007/978-3-319-07317-0

Format:

Alıntı:

Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014

SD_ILS:171168

10.

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

Shao, Zhong. editor.

https://doi.org/10.1007/978-3-642-54833-8

Format:

Alıntı:

of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France

SD_ILS:175892

11.

Bayesian Networks in R with Applications in Systems Biology için kapak resmi

Bayesian Networks in R with Applications in Systems Biology

Bayesian Networks in R with Applications in Systems Biology

by

Nagarajan, Radhakrishnan. author.

https://doi.org/10.1007/978-1-4614-6446-4

Format:

Alıntı:

Bayesian Networks in R with Applications in Systems Biology / Nagarajan, Radhakrishnan. author.

SD_ILS:139039

12.

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings için kapak resmi

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

by

Shan, Chung-chien. editor.

https://doi.org/10.1007/978-3-319-03542-0

Format:

Alıntı:

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC

SD_ILS:143128

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 11

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)