Search Results for Computer engineering.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

15

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Machine theory.

Yazar

SpringerLink (Online service)

(394)

Voronkov, Andrei. editor.

(9)

Liu, Zhiming. editor.

(5)

Potapov, Igor. editor. (orcid)0000-0002-7192-7853

(5)

Meseguer, José. editor.

(4)

Rozenberg, Grzegorz. editor.

(4)

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

(4)

Bernardo, Marco. editor.

(3)

Fiadeiro, José Luiz. editor.

(3)

Giannakopoulou, Dimitra. editor.

(3)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(3)

Horimoto, Katsuhisa. editor.

(3)

Legay, Axel. editor.

(3)

Liu, Shaoying. editor.

(3)

Rahonis, George. editor.

(3)

Salaün, Gwen. editor.

(3)

Schmidt, Renate. editor.

(3)

Seidl, Helmut. editor.

(3)

Simao, Adenilso. editor. (orcid)0000-0002-1454-2607

(3)

Vardanega, Tullio. editor.

(3)

Veith, Helmut. editor.

(3)

Aceto, Luca. editor.

(2)

Albert, Elvira. editor.

(2)

Araki, Keijiro. editor.

(2)

Arbab, Farhad. editor.

(2)

Baral, Chitta. editor.

(2)

Beckert, Bernhard. editor.

(2)

Bensalem, Saddek. editor.

(2)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(2)

Bjørner, Nikolaj. editor.

(2)

Boca, Paul. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Butler, Michael. editor.

(2)

Cavalcanti, Ana. editor.

(2)

Cerone, Antonio. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dix, Jürgen. editor.

(2)

Ehrig, Hartmut. editor.

(2)

Engels, Gregor. editor.

(2)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(2)

Fisher, Michael. editor.

(2)

Ganter, Bernhard. editor.

(2)

Garrigue, Jacques. editor.

(2)

Giese, Holger. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Gogolla, Martin. editor.

(2)

Governatori, Guido. editor.

(2)

Gramlich, Bernhard. editor.

(2)

Grumberg, Orna. editor.

(2)

Gupta, Gopal. editor.

(2)

Hage, Jurriaan. editor.

(2)

Jamroga, Wojtek. editor.

(2)

Jhala, Ranjit. editor.

(2)

Johnson, Michael. editor.

(2)

Jones, Cliff B. editor.

(2)

Julliand, Jacques. editor.

(2)

Kahl, Wolfram. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Koopman, Pieter. editor.

(2)

Kreowski, Hans-Jörg. editor.

(2)

Leite, Joao. editor.

(2)

Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(2)

Merz, Stephan. editor.

(2)

Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

(2)

Miller, Dale. editor.

(2)

Montanari, Ugo. editor.

(2)

Morazán, Marco T. editor.

(2)

Niemelä, Ilkka. editor.

(2)

Nordio, Martin. editor.

(2)

Ong, Luke. editor.

(2)

Orejas, Fernando. editor.

(2)

Palsberg, Jens. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Pearce, David. editor.

(2)

Pfenning, Frank. editor.

(2)

Pihlajasaari, Pekka. editor.

(2)

Pontelli, Enrico. editor.

(2)

Qadeer, Shaz. editor.

(2)

Qin, Shengchao. editor.

(2)

Rajamani, Sriram K. editor.

(2)

Rensink, Arend. editor.

(2)

Rosu, Grigore. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Sagiv, Mooly. editor.

(2)

Saraiva, João. editor. (orcid)0000-0002-5686-7151

(2)

Schmidt, David. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Sekerinski, Emil. editor.

(2)

Shankar, Natarajan. editor.

(2)

Shao, Zhong. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Son, Tran Cao. editor.

(2)

Steffen, Bernhard. editor.

(2)

Torroni, Paolo. editor.

(2)

Treharne, Helen. editor.

(2)

Vidal-Oriola, Germán. editor.

(2)

Visser, Joost. editor.

(2)

Wolff, Burkhart. editor.

(2)

Woodcock, Jim. editor.

(2)

Yahav, Eran. editor.

(2)

Zsók, Viktoria. editor.

(2)

van der Torre, Leon. editor.

(2)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Achten, Peter. editor.

(1)

Agha, Gul. editor.

(1)

Agotnes, Thomas. editor.

(1)

Agrawal, Manindra. editor.

(1)

Aho, Alfred V. editor.

(1)

Ait Mohamed, Otmane. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alferes, José Júlio. editor.

(1)

Aloni, Maria. editor.

(1)

Alpuente, María. editor.

(1)

Amadio, Roberto. editor.

(1)

Anai, Hirokazu. editor.

(1)

Andres, Frederic. editor.

(1)

Aoki, Toshiaki. editor.

(1)

Apel, Sven. editor.

(1)

Armando, Alessandro. editor.

(1)

Artikis, Alexander. editor.

(1)

Arvind, V. editor.

(1)

Arvind, Vikraman. editor.

(1)

Audebaud, Philippe. editor.

(1)

Baader, Franz. editor.

(1)

Bach, Joscha. editor.

(1)

Bailey, James. editor.

(1)

Baldan, Paolo. editor.

(1)

Ball, Thomas. editor.

(1)

Banda, Maria Garcia. editor.

(1)

Barais, Olivier. editor.

(1)

Barbosa, Luis Soares. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Bauer, Jörg. editor.

(1)

Baumgartner, Peter. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bella, Giampaolo. author.

(1)

Benhamou, Frédéric. editor.

(1)

Berdine, Josh. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Bergstra, Jan A. author.

(1)

Beringer, Lennart. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bessiere, Christian. editor.

(1)

Beyer, Dirk. editor.

(1)

Binder, Walter. editor.

(1)

Birkedal, Lars. editor.

(1)

Bishop, Judith. editor.

(1)

Bjørner, Dines. editor.

(1)

Blass, Andreas. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blockeel, Hendrik. editor.

(1)

Bloem, Roderick. editor.

(1)

Blum, Edward K. editor.

(1)

Blume, Matthias. editor.

(1)

Bodden, Eric. editor.

(1)

Bodik, Rastislav. editor.

(1)

Boella, Guido. editor.

(1)

Bolduc, Claude. editor.

(1)

Bollig, Benedikt. author.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Book, Matthias. editor.

(1)

Borba, Paulo. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Borrione, Dominique. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Brandt, Jens. editor.

(1)

Bravetti, Mario. editor.

(1)

Breitman, Karin. editor.

(1)

Brewka, Gerhard. editor.

(1)

Brorsson, Mats. editor.

(1)

Brucker, Achim. editor.

(1)

Bruni, Roberto. editor.

(1)

Brünnler, Kai. editor.

(1)

Bulling, Nils. editor.

(1)

Butterfield, Andrew. editor.

(1)

Börger, Egon. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cabot, Jordi. editor.

(1)

Caromel, Denis. author.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cervesato, Iliano. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chen, Peter P. editor.

(1)

Chitil, Olaf. editor.

(1)

Clarke, Edmund M. editor.

(1)

Clavel, Manuel. author.

(1)

Codish, Michael. editor.

(1)

Tümünü genişlet

Dil

(393)

(1)

Yayın Yılı

-

(61)

(52)

(47)

(45)

(43)

(33)

(33)

(32)

(27)

(21)

Tümünü genişlet

Konu

Formal Languages and Automata Theory.

(394)

Software engineering.

(369)

Computer science.

(336)

Computer Science Logic and Foundations of Programming.

(314)

Compilers (Computer programs).

(238)

Compilers and Interpreters.

(238)

Computer programming.

(195)

Programming Techniques.

(195)

Artificial intelligence.

(158)

Theory of Computation.

(82)

Computer networks .

(61)

(60)

Computer science-Mathematics.

(60)

Computer Communication Networks.

(56)

Discrete Mathematics in Computer Science.

(29)

Discrete mathematics.

(29)

Symbolic and Algebraic Manipulation.

(27)

Application software.

(23)

Computer and Information Systems Applications.

(23)

Electronic data processing-Management.

(18)

(18)

Models of Computation.

(16)

Computer Modelling.

(14)

Computer simulation.

(14)

Artificial intelligence-Data processing.

(9)

(9)

Mathematics of Computing.

(9)

Data Mining and Knowledge Discovery.

(8)

Data and Information Security.

(8)

(8)

Data protection.

(8)

(6)

Database management.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Computer Engineering and Networks.

(5)

Computer System Implementation.

(5)

Computer engineering.

(5)

Computer systems.

(5)

Computers, Special purpose.

(5)

(5)

Numerical analysis.

(5)

Order, Lattices, Ordered Algebraic Structures.

(5)

Special Purpose and Application-Based Systems.

(5)

Bioinformatics.

(4)

Computational and Systems Biology.

(4)

Electronic Circuits and Systems.

(4)

Electronic circuits.

(4)

Operating Systems.

(4)

Operating systems (Computers).

(4)

Automated Pattern Recognition.

(3)

Computational Science and Engineering.

(3)

Computer-Aided Engineering (CAD, CAE) and Design.

(3)

Computer-aided engineering.

(3)

Electrical and Electronic Engineering.

(3)

Electrical engineering.

(3)

Engineering mathematics.

(3)

Engineering-Data processing.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical and Computational Engineering Applications.

(3)

Mathematical logic.

(3)

Mathematical statistics.

(3)

Mathematics-Data processing.

(3)

Pattern recognition systems.

(3)

Probability and Statistics in Computer Science.

(3)

Adaptive Immunity.

(2)

Computer Hardware.

(2)

Computer graphics.

(2)

(2)

Control engineering.

(2)

Control theory.

(2)

Digital humanities.

(2)

(2)

Immunospecificity.

(2)

Information theory.

(2)

(2)

Systems Theory, Control .

(2)

Arithmetic and Logic Structures.

(1)

(1)

(1)

Coding and Information Theory.

(1)

(1)

Cognitive psychology.

(1)

Communications Engineering, Networks.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer vision.

(1)

Control and Systems Theory.

(1)

Control, Robotics, Automation.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Electronic digital computers-Evaluation.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Engineering design.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

Image processing-Digital techniques.

(1)

Information technology-Management.

(1)

Mathematical Applications in Chemistry.

(1)

Mathematical Applications in Computer Science.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

(1)

Probability Theory.

(1)

Processor Architectures.

(1)

(1)

Social sciences-Data processing.

(1)

System Performance and Evaluation.

(1)

Telecommunication.

(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ç

394 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 33

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.

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures için kapak resmi

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

by

Bernardo, Marco. editor.

https://doi.org/10.1007/978-3-642-30982-3

Format:

Alıntı:

Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012

SD_ILS:171269

2.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

by

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

https://doi.org/10.1007/978-3-662-45231-8

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170377

3.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

by

Cassez, Franck. editor.

https://doi.org/10.1007/978-3-319-11936-6

Format:

Alıntı:

Programming and Software Engineering,

SD_ILS:169632

4.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 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

Muscholl, Anca. editor.

https://doi.org/10.1007/978-3-642-54830-7

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169917

5.

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ı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170101

6.

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings için kapak resmi

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

by

Bonakdarpour, Borzoo. editor.

https://doi.org/10.1007/978-3-319-11164-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171110

7.

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures için kapak resmi

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

by

Remke, Anne. editor.

https://doi.org/10.1007/978-3-662-45489-3

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170903

8.

Fundamental Approaches to Software Engineering 17th International Conference, FASE 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

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 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

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

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

Format:

Alıntı:

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as

SD_ILS:170838

9.

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

by

Klein, Gerwin. editor.

https://doi.org/10.1007/978-3-319-08970-6

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170912

10.

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers için kapak resmi

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

by

Liu, Shaoying. editor.

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

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171260

11.

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ı:

Computer Science Logic and Foundations of Programming.

SD_ILS:171924

12.

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers için kapak resmi

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

by

Maffei, Matteo. editor.

https://doi.org/10.1007/978-3-662-45917-1

Format:

Alıntı:

Computer Engineering and Networks.

SD_ILS:171469

1 2 3 4 5 .. 33

Go to:Search Results

|

|

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)