Results
|
|
961.
|
|
|
|
962.
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings / edited by Cristina Silvano, Christian Pilato, Marc Reichenbach. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 004.2.
|
|
|
963.
|
|
|
|
964.
|
|
|
|
965.
|
|
|
|
966.
|
|
|
|
967.
|
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. by Series: Lecture Notes in Computer Science ; 6698
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
968.
|
|
|
|
969.
|
|
|
|
970.
|
End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by Series: Lecture Notes in Computer Science ; 7897
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
971.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 7795
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
972.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by Series: Lecture Notes in Computer Science ; 7791
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
973.
|
|
|
|
974.
|
|
|
|
975.
|
End-User Development [electronic resource] : 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings / edited by Paloma Díaz, Volkmar Pipek, Carmelo Ardito, Carlos Jensen, Ignacio Aedo, Alexander Boden. by Series: Lecture Notes in Computer Science ; 9083
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
976.
|
|
|
|
977.
|
|
|
|
978.
|
|
|
|
979.
|
|
|
|
980.
|
Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings / edited by Adriano Augusto, Asif Gill, Dominik Bork, Selmin Nurcan, Iris Reinhartz-Berger, Rainer Schmidt. by Series: Lecture Notes in Business Information Processing ; 450
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 005.3.
|