Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Lokasyon: Springer E-Book Collection
Included
Konu: Logics and Meanings of Programs.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(275)
Ölveczky, Peter Csaba. editor.
(5)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Ábrahám, Erika. editor.
(4)
Artho, Cyrille. editor.
(3)
Bernardo, Marco. editor.
(3)
Duan, Zhenhua. editor.
(3)
Johnsen, Einar Broch. editor.
(3)
Koutny, Maciej. editor.
(3)
Liu, Shaoying. editor.
(3)
Liu, Zhiming. editor.
(3)
Potapov, Igor. editor.
(3)
Roman, Dumitru. editor.
(3)
Rozenberg, Grzegorz. editor.
(3)
Salomaa, Arto. editor.
(3)
Schaefer, Ina. editor.
(3)
Schewe, Klaus-Dieter. editor.
(3)
Steffen, Bernhard. editor.
(3)
Voronkov, Andrei. editor.
(3)
Ait Ameur, Yamine. editor.
(2)
Albert, Elvira. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Blanchette, Jasmin Christian. editor.
(2)
Bondavalli, Andrea. editor.
(2)
Braga, Christiano. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Dal Lago, Ugo. editor.
(2)
De Nicola, Rocco. editor.
(2)
Desel, Jörg. editor.
(2)
Farzan, Azadeh. editor.
(2)
Fodor, Paul. editor.
(2)
Gheorghe, Marian. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Gnesi, Stefania. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Haddad, Serge. editor.
(2)
Hage, Jurriaan. editor.
(2)
Havelund, Klaus. editor.
(2)
Kahl, Wolfram. editor.
(2)
Koornneef, Floor. editor.
(2)
Kühn, Eva. editor.
(2)
Larsen, Kim Guldstrand. editor.
(2)
Legay, Axel. editor.
(2)
Margaria, Tiziana. editor.
(2)
Martí-Oliet, Narciso. editor.
(2)
Mayr, Heinrich C. editor.
(2)
McCarthy, Jay. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Núñez, Manuel. editor.
(2)
Okhotin, Alexander. editor.
(2)
Ortmeier, Frank. editor.
(2)
Palamidessi, Catuscia. editor.
(2)
Peña, Ricardo. editor.
(2)
Piazza, Carla. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Raskin, Jean-François. editor.
(2)
Rival, Xavier. editor.
(2)
Rumpe, Bernhard. editor.
(2)
Shallit, Jeffrey. editor.
(2)
Skavhaug, Amund. editor.
(2)
Son, Tran Cao. editor.
(2)
Spivakovsky, Aleksander. editor.
(2)
Vardanega, Tullio. editor.
(2)
Wąsowski, Andrzej. editor.
(2)
Zandron, Claudio. editor.
(2)
Zholtkevych, Grygoriy. editor.
(2)
van Gulijk, Coen. editor.
(2)
Abate, Alessandro. editor.
(1)
Abdulla, Parosh Aziz. editor.
(1)
Abrahão, Silvia. editor.
(1)
Agha, Gul. editor.
(1)
Agrawal, Manindra. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Akama, Seiki. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alhazov, Artiom. editor.
(1)
Amos, Martyn. editor.
(1)
Amyot, Daniel. editor.
(1)
Asher, Nicholas. editor.
(1)
Avgeriou, Paris. editor.
(1)
Badger, Julia M. editor.
(1)
Baier, Christel. editor.
(1)
Baldan, Paolo. editor.
(1)
Baldoni, Matteo. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bansal, Nikhil. editor.
(1)
Barbosa, Simone D.J. editor.
(1)
Barkatou, Moulay. editor.
(1)
Barlas, Gerassimos. editor.
(1)
Bartocci, Ezio. editor.
(1)
Bassiliades, Nick. editor.
(1)
Batsakis, Sotiris. editor.
(1)
Beierle, Christoph. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Bensalem, Saddek. editor.
(1)
Berger, Christian. editor.
(1)
Berstel-Da Silva, Bruno. author.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Biere, Armin. editor.
(1)
Bikakis, Antonis. editor.
(1)
Biro, Miklos. editor.
(1)
Bjørner, Nikolaj. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bloem, Roderick. editor.
(1)
Bodei, Chiara. editor.
(1)
Bojańczyk, Mikołaj. editor.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Boniol, Frédéric. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bonsangue, Marcello. editor.
(1)
Bordeleau, Francis. editor.
(1)
Bourgeois, Anu. editor.
(1)
Bozga, Marius. editor.
(1)
Bošnački, Dragan. editor.
(1)
Breugel, Franck van. editor.
(1)
Brlek, Srečko. editor.
(1)
Bulling, Nils. editor.
(1)
Butler, Michael. editor.
(1)
CONDON, ANNE. editor.
(1)
Cabot, Jordi. editor.
(1)
Cai, Zhipeng. editor.
(1)
Calimeri, Francesco. editor.
(1)
Calinescu, Radu. editor.
(1)
Campos, Javier. editor.
(1)
Canal, Carlos. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Casadio, Claudia. editor.
(1)
Cassez, Franck. editor.
(1)
Castor, Fernando. editor.
(1)
Ceccarelli, Andrea. editor.
(1)
Chechik, Marsha. editor.
(1)
Cheng, Betty H.C. editor.
(1)
Chockler, Hana. editor.
(1)
Chopra, Amit K. editor.
(1)
Ciardo, Gianfranco. editor.
(1)
Cinquemani, Eugenio. editor.
(1)
Ciobanu, Gabriel. editor.
(1)
Cluzeau, Thomas. editor.
(1)
Codescu, Mihai. editor.
(1)
Codish, Michael. editor.
(1)
Coecke, Bob. editor.
(1)
Cohen, Ernie. editor.
(1)
Cojocaru, Svetlana. editor.
(1)
Colinet, Margot. editor.
(1)
Combemale, Benoit. editor.
(1)
Cooper, S. Barry. editor.
(1)
Cornélio, Márcio. editor.
(1)
Counsell, Steve. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Csató, Lehel. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
Damiani, Ferruccio. editor.
(1)
Daneva, Maya. editor.
(1)
Dang, Thao. editor.
(1)
Daniel, Florian. editor.
(1)
Dastani, Mehdi. editor.
(1)
Davis, Jesse. editor.
(1)
Davis, Martin. editor.
(1)
De Nivelle, Hans. editor.
(1)
Delporte-Gallet, Carole. editor.
(1)
Demri, Stéphane. editor.
(1)
Deng, Yuxin. author.
(1)
Denoeux, Thierry. editor.
(1)
Desmedt, Yvo. editor.
(1)
Destercke, Sébastien. editor.
(1)
Devillers, Raymond. editor.
(1)
Devitt, Simon. editor.
(1)
Dhaenens, Clarisse. editor.
(1)
Di Giandomenico, Felicita. editor.
(1)
Diaconescu, Răzvan. editor.
(1)
Diaz, Josep. editor.
(1)
Dignum, Virginia. editor.
(1)
Dingel, Juergen. editor.
(1)
Donzé, Alexandre. editor.
(1)
Dowek, Gilles. editor.
(1)
Du, Dingzhu. editor.
(1)
Du, Donglei. editor.
(1)
Durand-Lose, Jerome. editor.
(1)
D’Souza, Deepak. editor.
(1)
Ebert, Achim. editor.
(1)
Echahed, Rachid. editor.
(1)
Egyed, Alexander. editor.
(1)
Eiter, Thomas. editor.
(1)
El-Fakih, Khaled. editor.
(1)
Ermolayev, Vadim. editor.
(1)
Escobar, Santiago. editor.
(1)
Fages, François. editor.
(1)
Falaschi, Moreno. editor.
(1)
Falcone, Yliès. editor.
(1)
Fantechi, Alessandro. editor.
(1)
Fehnker, Ansgar. editor.
(1)
Felber, Pascal. editor.
(1)
Feng, Xinyu. editor.
(1)
Fermé, Eduardo. editor.
(1)
Fernández, Maribel. author.
(1)
Ferrari, Gian-Luigi. editor.
(1)
Fiadeiro, José Luiz. editor.
(1)
Fiems, Dieter. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(275)
Dil
Dahil
Hariç
English
(275)
Basım Yılı
Dahil
Hariç
2013
(1)
2014
(100)
2015
(94)
2016
(80)
Konu
Dahil
Hariç
Computer logic.
(274)
Computer science.
(271)
Software engineering.
(208)
Mathematical logic.
(169)
Mathematical Logic and Formal Languages.
(167)
Programming Languages, Compilers, Interpreters.
(139)
Programming languages (Electronic computers).
(139)
Computers.
(76)
Artificial Intelligence (incl. Robotics).
(73)
Artificial intelligence.
(73)
Computation by Abstract Devices.
(69)
Computer programming.
(67)
Programming Techniques.
(67)
Algorithm Analysis and Problem Complexity.
(58)
Algorithms.
(58)
Computer science -- Mathematics.
(47)
Computer Communication Networks.
(41)
Computer communication systems.
(41)
Discrete Mathematics in Computer Science.
(39)
Management information systems.
(33)
Management of Computing and Information Systems.
(33)
Information Systems Applications (incl. Internet).
(32)
Computer simulation.
(23)
Simulation and Modeling.
(23)
Mathematical statistics.
(13)
Probability and Statistics in Computer Science.
(13)
Application software.
(12)
Computer Systems Organization and Communication Networks.
(12)
Computer organization.
(12)
Computer security.
(12)
Systems and Data Security.
(12)
Computer system failures.
(11)
Software Engineering/Programming and Operating Systems.
(11)
Special Purpose and Application-Based Systems.
(11)
Special purpose computers.
(11)
System Performance and Evaluation.
(11)
Computer Applications.
(9)
Information storage and retrieval.
(9)
Mathematical Logic and Foundations.
(7)
Mathematics of Computing.
(7)
Symbolic and Algebraic Manipulation.
(7)
Data structures (Computer science).
(6)
Numeric Computing.
(6)
Numerical analysis.
(6)
Bioinformatics.
(4)
Computational Biology/Bioinformatics.
(4)
Computer Appl. in Administrative Data Processing.
(4)
Data Mining and Knowledge Discovery.
(4)
Data Structures.
(4)
Data mining.
(4)
Pattern recognition.
(4)
Computational linguistics.
(3)
Database management.
(3)
Language Translation and Linguistics.
(3)
Logic design.
(3)
Logic.
(3)
Operating Systems.
(3)
Operating systems (Computers).
(3)
Theory of Computation.
(3)
User Interfaces and Human Computer Interaction.
(3)
User interfaces (Computer systems).
(3)
Computer Science, general.
(2)
Computers and Education.
(2)
Data Encryption.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Data encryption (Computer science).
(2)
Education -- Data processing.
(2)
History of Computing.
(2)
Math Applications in Computer Science.
(2)
Models and Principles.
(2)
Philosophy.
(2)
Quantum Computing.
(2)
Quantum computers.
(2)
Arithmetic and Logic Structures.
(1)
Arithmetic and logic units, Computer.
(1)
Business -- Data processing.
(1)
Business Information Systems.
(1)
Circuits and Systems.
(1)
Coding and Information Theory.
(1)
Coding theory.
(1)
Computational intelligence.
(1)
Computer engineering.
(1)
Computer mathematics.
(1)
Computing Methodologies.
(1)
Economics.
(1)
Economics/Management Science.
(1)
Electronic circuits.
(1)
Engineering.
(1)
Health informatics.
(1)
IT in Business.
(1)
Information systems.
(1)
Information technology.
(1)
Mathematical Applications in Computer Science.
(1)
Partial differential equations.
(1)
Philosophy of mind.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(275)
Kütüphane
Dahil
Hariç
TEDU library
(275)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
No results found