Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
E-Book
Journals
Beytepe Library
Health Sciences Library
Conservatory Library
Law Library
Social Sciences Vocational High School
DVD Collection
Prof.Dr. Onur Bilge Kula Collection
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
ISSN
8
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Subject: Computer science.
Author
Include
Exclude
SpringerLink (Online service)
(167)
Pichler, Franz. editor.
(7)
Moreno-Díaz, Roberto. editor.
(5)
Quesada-Arencibia, Alexis. editor.
(5)
Kowalczyk, Ryszard. editor.
(4)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(3)
Finkbeiner, Bernd. editor.
(3)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Hart, Emma. editor.
(3)
Heule, Marijn. editor. (orcid)0000-0002-5587-8801
(3)
Huang, De-Shuang. editor.
(3)
Kovács, Laura. editor.
(3)
Legay, Axel. editor.
(3)
Majumdar, Rupak. editor.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Nguyen, Ngoc Thanh. editor.
(3)
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948
(3)
Wojtkowski, Wita. editor.
(3)
Alla, Hassane. author.
(2)
Barry, Chris. editor.
(2)
Bilas, Angelos. editor.
(2)
Bouchon-Meunier, Bernadette. editor.
(2)
Cabrera, Inma P. editor.
(2)
Chbeir, Richard. editor. (orcid)0000-0003-4112-1426
(2)
Conboy, Kieran. editor.
(2)
David, René. author.
(2)
Edelkamp, Stefan. editor.
(2)
Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
(2)
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894
(2)
Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
(2)
Huisman, Marieke. editor.
(2)
Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092
(2)
Kleijn, Jetty. editor.
(2)
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378
(2)
Krogstie, John. editor. (orcid)0000-0003-4830-1876
(2)
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009
(2)
Kunčak, Viktor. editor.
(2)
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128
(2)
Lang, Michael. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
(2)
Markantonakis, Konstantinos. editor.
(2)
Martín-Vide, Carlos. editor.
(2)
Medina, Jesús. editor.
(2)
Mercik, Jacek. editor.
(2)
Moreno Díaz, Roberto. editor.
(2)
Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010
(2)
Ojeda-Aciego, Manuel. editor.
(2)
Pelta, David A. editor.
(2)
Posegga, Joachim. editor.
(2)
Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
(2)
Quesada Arencibia, Alexis. editor.
(2)
Quisquater, Jean-Jacques. editor.
(2)
Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108
(2)
Sauveron, Damien. editor.
(2)
Schiffel, Stephan. editor.
(2)
Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
(2)
Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817
(2)
Togelius, Julian. editor.
(2)
Vega-Rodríguez, Miguel A. editor.
(2)
Verdegay, José Luis. editor.
(2)
Wojtkiewicz, Krystian. editor. (orcid)0000-0002-7851-4330
(2)
Wojtkowski, Gregory. editor.
(2)
Yager, Ronald R. editor.
(2)
Zhang, Zili. editor.
(2)
Abdulla, Parosh Aziz. editor.
(1)
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611
(1)
Aceto, Luca. editor.
(1)
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X
(1)
An, Bo. editor.
(1)
Antsaklis, Panos J. author.
(1)
Askoxylakis, Ioannis. editor.
(1)
Atallah, Mikhail J.
(1)
Aubin, Jean-Pierre. author.
(1)
Augustine, Norman. editor.
(1)
Aved, Alex. editor.
(1)
Ayesh, Aladdin. editor.
(1)
Bacci, Giorgio. editor.
(1)
Bacci, Giovanni. editor.
(1)
Baik, Doo-Kwon. editor.
(1)
Bajd, Tadej. author.
(1)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(1)
Barnett, Lionel. author.
(1)
Barrett, Clark. editor.
(1)
Barthe, Gilles. editor.
(1)
Bayen, Alexandre M. author.
(1)
Bazzan, Ana. editor.
(1)
Beckmann, Arnold. editor.
(1)
Bemporad, Alberto. editor.
(1)
Bergenthum, Robin. editor.
(1)
Bevilacqua, Vitoantonio. editor.
(1)
Bhosri, Wisuwat. author.
(1)
Bicchi, Antonio. editor.
(1)
Bienvenu, Laurent. editor.
(1)
Blanton, Marina.
(1)
Blasch, Erik. editor.
(1)
Boccara, Nino. author.
(1)
Bonnevay, Stéphane. editor.
(1)
Boronat, Artur. editor. (orcid)0000-0003-2024-1736
(1)
Bossomaier, Terry. author.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Bowman, Howard. author.
(1)
Bujorianu, Luminita Manuela. author.
(1)
Buss, Martin. editor.
(1)
Buxmann, Peter. editor.
(1)
Cabarle, Francis George C. author.
(1)
Cai, Qing. author.
(1)
Caivano, Danilo. editor.
(1)
Caplinskas, Albertas. editor.
(1)
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706
(1)
Castagna, Giuseppe. editor.
(1)
Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523
(1)
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976
(1)
Cavallaro, Lorenzo. editor.
(1)
Cazenave, Tristan. editor.
(1)
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374
(1)
Chatterjee, Samir. author.
(1)
Chatzigiannakis, Ioannis. editor.
(1)
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517
(1)
Cheng, Daizhan. author.
(1)
Chopra, Amit K. editor.
(1)
Ciardo, Gianfranco. editor.
(1)
Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648
(1)
Davies, Misty. editor.
(1)
De Ruyter, Boris. editor.
(1)
Desel, Jörg. editor.
(1)
Doka, Katerina. editor.
(1)
Dong, Jianping. author.
(1)
Drewes, Frank. editor.
(1)
Drossopoulou, Sophia. editor.
(1)
Du, Ding-Zhu. editor.
(1)
England, Matthew. editor.
(1)
Erdem, Esra. editor. (orcid)0000-0001-8384-7810
(1)
Ernst, Marc O. editor.
(1)
Esparza, Javier. editor.
(1)
Fajstrup, Lisbeth. author.
(1)
Felleisen, Matthias. editor.
(1)
Ferreira, Carla. editor. (orcid)0000-0003-3680-7634
(1)
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
(1)
Filipe, Joaquim. editor.
(1)
Flanagan, Cormac. editor.
(1)
Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391
(1)
Fraser, Gordon. editor. (orcid)0000-0002-4364-6595
(1)
Frazho, Arthur E. author.
(1)
Fred, Ana L.N. editor.
(1)
Gao, Jiuan. author.
(1)
Gardner, Philippa. editor.
(1)
Geuvers, Herman. editor.
(1)
Gollmann, Dieter. editor.
(1)
Gomez, Rodolfo. author.
(1)
Gong, Maoguo. author.
(1)
Gopal, T.V. editor.
(1)
Gordon, Andrew D. editor.
(1)
Gorrieri, Roberto. author.
(1)
Goubault, Eric. author.
(1)
Grumberg, Orna. editor.
(1)
Gu, Zhaoquan. author.
(1)
Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X
(1)
Halbwachs, Nicolas. editor.
(1)
Handl, Julia. editor.
(1)
Harré, Michael. author.
(1)
Hasan, Osman. editor.
(1)
Haucourt, Emmanuel. author.
(1)
Heemels, Maurice. editor.
(1)
Heij, Christiaan. author.
(1)
Heinzl, Armin. editor.
(1)
Hellendoorn, Hans. editor.
(1)
Hermanns, Holger. editor.
(1)
Hevner, Alan. author.
(1)
Hirayama, Katsutoshi. editor.
(1)
Hoepman, Jaap-Henk. editor.
(1)
Hoffmann, Frank. editor.
(1)
Hovy, Eduard. editor.
(1)
Hua, Qiang-Sheng. author.
(1)
Hurwitz, Evan. author.
(1)
Huth, Michael. editor.
(1)
Hüllermeier, Eyke. editor.
(1)
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764
(1)
Ingólfsdóttir, Anna. editor.
(1)
Isermann, Rolf. author.
(1)
Jacobs, Bart. editor.
(1)
Jaeger, Dieter. editor.
(1)
Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210
(1)
Johansson, Mikael. editor.
(1)
Jonoska, Nataša. editor.
(1)
Jung, Ranu. editor.
(1)
Jungnickel, Dieter. author.
(1)
Jäger, Gerhard. editor.
(1)
Kahraman, Cengiz. editor.
(1)
Kahsai, Temesghen. editor.
(1)
Kappel, Gerti. editor. (orcid)0000-0002-4758-9436
(1)
Kappel, Gertri. editor. (orcid)0000-0002-4758-9436
(1)
Karba, Rihard. author.
(1)
Karer, Gorazd. author.
(1)
Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729
(1)
Kesner, Delia. editor. (orcid)0000-0003-4254-3129
(1)
Kiefer, Stefan. editor.
(1)
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186
(1)
Kocijan, Juš. author.
(1)
Koutny, Maciej. editor.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(167)
French
(1)
German
(1)
Publication Date
Include
Exclude
-
2017
(26)
2016
(25)
2025
(20)
2024
(14)
2010
(11)
2009
(10)
2005
(9)
2013
(9)
2006
(8)
2012
(8)
2011
(7)
2007
(6)
2018
(6)
2008
(5)
2023
(3)
1975
(1)
2015
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Software engineering.
(68)
Theory of Computation.
(62)
Artificial intelligence.
(58)
Computer Communication Networks.
(39)
Computer Science Logic and Foundations of Programming.
(27)
Computer networks .
(27)
Computer simulation.
(27)
Systems theory.
(25)
Logic design.
(24)
Formal Languages and Automata Theory.
(21)
Machine theory.
(21)
Mathematics.
(21)
Compilers (Computer programs).
(18)
Compilers and Interpreters.
(18)
Computer science -- Mathematics.
(18)
Algorithms.
(15)
Computer Modelling.
(15)
Data structures (Computer science).
(12)
Mathematics of Computing.
(12)
Computer software.
(11)
Application software.
(10)
Computer and Information Systems Applications.
(10)
Control Structures and Microprogramming.
(10)
Microprogramming .
(10)
Special Purpose and Application-Based Systems.
(10)
Computer System Implementation.
(9)
Computers, Special purpose.
(9)
Database management.
(9)
Programming Techniques.
(9)
Automated Pattern Recognition.
(8)
Computer aided design.
(8)
Computer engineering.
(8)
Computer programming.
(8)
Computer systems.
(8)
Computer vision.
(8)
Computers.
(8)
Information theory.
(8)
Pattern recognition systems.
(8)
Information storage and retrieval systems.
(7)
Information systems.
(7)
Operating Systems.
(7)
Operating systems (Computers).
(7)
Optical pattern recognition.
(7)
Computational intelligence.
(6)
Computer Engineering and Networks.
(6)
Computing Milieux.
(6)
Engineering.
(6)
Bioinformatics.
(5)
Computational and Systems Biology.
(5)
Data Structures and Information Theory.
(5)
Data encryption (Computer science).
(5)
Data mining.
(5)
Data protection.
(5)
Discrete Mathematics in Computer Science.
(5)
Discrete mathematics.
(5)
Management information systems.
(5)
System theory.
(5)
Complex Systems.
(4)
Computer network architectures.
(4)
Economics.
(4)
Mathematical optimization.
(4)
Models of Computation.
(4)
Applications of Mathematics.
(3)
Computational complexity.
(3)
Computer Application in Administrative Data Processing.
(3)
Control engineering.
(3)
Data Mining and Knowledge Discovery.
(3)
Differentiable dynamical systems.
(3)
Electronic data processing.
(3)
Engineering mathematics.
(3)
Industrial engineering.
(3)
Information Storage and Retrieval.
(3)
Information Systems.
(3)
Information technology -- Management.
(3)
Mathematical Applications in Computer Science.
(3)
Numerical analysis.
(3)
Pattern Recognition.
(3)
Systems Theory, Control.
(3)
Artificial Intelligence (incl. Robotics).
(2)
Artificial intelligence -- Data processing.
(2)
Coding theory.
(2)
Combinatorics.
(2)
Computational linguistics.
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(2)
Computer hardware.
(2)
Computer-Aided Engineering (CAD, CAE) and Design.
(2)
Control and Systems Theory.
(2)
Control theory.
(2)
Data Science.
(2)
Electronic digital computers -- Evaluation.
(2)
Image Processing and Computer Vision.
(2)
Logics and Meanings of Programs.
(2)
Mathematical Logic and Foundations.
(2)
Mathematical logic.
(2)
Microcomputers.
(2)
Multimedia systems.
(2)
Natural Language Processing (NLP).
(2)
Natural language processing (Computer science).
(2)
Neuroscience.
(2)
Neurosciences.
(2)
Optimization.
(2)
Personal Computing.
(2)
Professions.
(2)
Programming Language.
(2)
Programming Languages, Compilers, Interpreters.
(2)
Programming languages (Electronic computers).
(2)
Simulation and Modeling.
(2)
Symbolic and Algebraic Manipulation.
(2)
System Performance and Evaluation.
(2)
The Computing Profession.
(2)
Vibration.
(2)
Algebra -- Data processing.
(1)
Algebraic topology.
(1)
Algorithm Analysis and Problem Complexity.
(1)
Applied Dynamical Systems.
(1)
Automation.
(1)
Biological models.
(1)
Business Information Systems.
(1)
Business planning.
(1)
Calculus of Variations and Optimal Control; Optimization.
(1)
Coding and Information Theory.
(1)
Computational Mathematics and Numerical Analysis.
(1)
Computational Science and Engineering.
(1)
Computer Science, general.
(1)
Computer algorithms.
(1)
Computer programs -- Testing.
(1)
Computer system performance.
(1)
Control, Robotics, Automation.
(1)
Cooperating objects (Computer systems).
(1)
Cyber-Physical Systems.
(1)
Data Encryption.
(1)
Data structures (Computer scienc.
(1)
Data transmission systems.
(1)
Database Management System.
(1)
Differential Equations.
(1)
Distribution (Probability theory).
(1)
Dynamical Systems and Ergodic Theory.
(1)
Dynamics.
(1)
Ecology.
(1)
Econometrics.
(1)
Economics, Mathematical.
(1)
Education.
(1)
Electronic data processing -- Management.
(1)
Engineering -- Data processing.
(1)
Expert systems (Computer science).
(1)
Global differential geometry.
(1)
Grundlage.
(1)
Harmonic analysis.
(1)
IT Operations.
(1)
Industrial and Production Engineering.
(1)
Information Systems Applications (incl. Internet).
(1)
Knowledge Based Systems.
(1)
Linguistics.
(1)
Machine learning.
(1)
Math Applications in Computer Science.
(1)
Mathematical Modeling and Industrial Mathematics.
(1)
Mathematical and Computational Engineering Applications.
(1)
Mathematical models.
(1)
Mathematical physics.
(1)
Mathematical statistics.
(1)
Mathematics -- Data processing.
(1)
Mathematik.
(1)
Nonlinear theories.
(1)
Ontology.
(1)
Operations Management.
(1)
Operations research.
(1)
Operator theory.
(1)
Physics.
(1)
Production engineering.
(1)
Production management.
(1)
Quantitative Economics.
(1)
Robotics.
(1)
Software Testing.
(1)
Statistical Theory and Methods.
(1)
System analysis.
(1)
System safety.
(1)
Systems and Data Security.
(1)
Systems engineering.
(1)
Systemtheorie.
(1)
Telecommunication.
(1)
Theoretical, Mathematical and Computational Physics.
(1)
Theory and Algorithms for Application Domains.
(1)
User Interfaces and Human Computer Interaction.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
1:SPRINGER
CRC Ebooks
Electronic Library
Library
Include
Exclude
Online Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
169 Results Found
1
..
11
12
13
14
15
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0
DEFAULT
Select a list
Temporary 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.
169.
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Author
David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
http://dx.doi.org/10.1007/b138130
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
11
12
13
14
15
